Презентация по информатике на тему "Алгебра логики"

• 1 слайд

  Алгебра логики
  

• 2 слайд

  Формальная логика
  - наука, позволяющая делать заключения о правильности какого-либо суждения не по его фактическому содержанию, а только по форме его построения.
  

• 3 слайд

  Закон исключения третьего
  «Во время своих странствий Платон был в Египте ИЛИ не был Платон в Египте»
  Формальная логика
  

• 4 слайд

  Закон непротиворечивости
  «Во время своих странствий Платон был в Египте И не был Платон в Египте»
  Формальная логика
  

• 5 слайд

  Закон отрицания
  «Если не верно, что Платон НЕ был в Египте, то значит Платон был в Египте»
  Формальная логика
  

• 6 слайд

  Высказывание
  - это основной элемент логики, определяемый как повествовательное предложение, относительно которого можно однозначно сказать истинно оно или ложно
  
  Формальная логика
  

• 7 слайд

  Какие из предложений могут быть высказыванием?
  Листья опадают осенью
  Земля прямоугольная
  2>1
  Не пейте сырую воду
  Кто не хочет быть счастливым
  H2O+SO3=H2SO4
  

• 8 слайд

  Алгебра логики
  Джордж Буль, 1847 г
  1 – высказывание истинно
  0 – высказывание ложно
  

• 9 слайд

  Инверсия
  (логическое отрицание)
  Обозначение:, ¯, Не верно, что…
  Черное – белое
  Да – Нет
  Истинно - Ложно
  
  

• 10 слайд

  Конъюнкция
  (логическое умножение)
  Обозначение: , &, И
  На стоянке стоят синяя И красная машина
  А – на стоянке стоит синяя машина
  В – на стоянке стоит красная машина
  

• 11 слайд

  Дизъюнкция
  (логическое сложение)
  Обозначение: , ИЛИ
  На стоянке стоят синяя ИЛИ красная машина
  А – на стоянке стоит синяя машина
  В – на стоянке стоит красная машина
  

• 12 слайд

  Строгая дизъюнкция
  Обозначение: , ИЛИ … ИЛИ …
  Я нахожусь на западной ИЛИ восточной трибуне стадиона
  А –я на левой трибуне стадиона
  В – я на правой трибуне стадиона
  

• 13 слайд

  Импликация
  (логическое следование)
  Обозначение: , ЕСЛИ… ТО…
  ЕСЛИ на улице идет дождь, ТО асфальт мокрый
  А –На улице идет дождь
  В – Асфальт мокрый
  

• 14 слайд

  Эквивалентность
  (логическое равенство)
  Обозначение: , ТОГДА И ТОЛЬКО ТОГДА, КОГДА
  Число делится на 3 ТОГДА И ТОЛЬКО ТОГДА, КОГДА сумма цифр делится на 3
  А –число делится на 3
  В – сумма цифр делится на 3
  

Краткое описание документа:

Одним из разделов Информатики является Логика. Предлагаемая мной презентация предназначена для облегчения объяснения нового материала. Рассматривается понятие высказывания и логические операции. Каждой логической операции в соответствие предлагается ассоциативное предложение для лучшего понимания сути логического действия.