Логические выражения и операции

• 1 слайд

  ЛОГИЧЕСКИЕ
  ВЫРАЖЕНИЯ
  И ОПЕРАЦИИ
  

• 2 слайд

  Логическая переменная -
  это простое высказывание,
  содержащее только одну мысль.
  
  
  Ее символическое обозначение – латинская буква (А, В, Х, Y). Значением логической переменной могут быть
  константы ИСТИНА (1) и ЛОЖЬ (0).
  
  Например:
  А = Информатика – интересный предмет. (1)
  В = В восьмом классе десять учащихся. (0)
  

• 3 слайд

  Логические связки -
  это слова и словосочетания, которые позволяют из уже заданных высказываний строить новые высказывания
  /"не",   "и",   "или",  "если... , то",  
  "тогда и только тогда"/.
  
  

• 4 слайд

  Составное высказывание /логическая функция/ -
  это высказывание, образованное из логических переменных (простых высказываний) с помощью логических связок.
  
  Символическое обозначение – F.
  
  Например: А= В этом году зима суровая. В= В этом году зима снежная.
  F= В этом году зима суровая и снежная.
  

• 5 слайд

  Логические операции –
  это логическое действие
  

• 6 слайд

  Инверсия
  /логическое отрицание/
  Логические связки:
  «не», «нет», «неверно, что».
  Обозначение: ¬А; А; not A.
  
  Например:
  А= Я получил пятерку. ¬А= Я не получил пятерку.
  

• 7 слайд

  Конъюнкция
  /логическое умножение/
  Логическая связка: «и».
  Обозначение: А & B; А^B; A and B.
  
  Например:
  А= На полке стоят учебники.
  В= На полке стоят справочники.
  А^В= На полке стоят учебники и справочники.
  

• 8 слайд

  Дизъюнкция
  /логическое сложение/
  Логические связки: «или», «либо, либо».
  Обозначение: А+B; А v B; A or B.
  
  Например:
  А= Я пойду до друга Ивана.
  В= Я пойду до бабушки.
  А+В= Либо я пойду до друга Ивана, либо до бабушки.
  

• 9 слайд

  Импликация
  /логическое следование/
  Логические связки: «если, … то», «из …следует», «когда, …тогда», «следовательно».
  Обозначение: А→B;
  A- условие
  B- следствие
  
  Например: А= Хорошая погода.
  В= Денис пойдет на рыбалку.
  А→В= Если будет хорошая погода, то Денис пойдет на рыбалку.
  

• 10 слайд

  Эквиваленция
  /логическое равенство/
  Логические связки: «тогда и только тогда, когда», «равносильно», «эквивалентно», «необходимо и достаточно».
  Обозначение: А↔B; А≡В;
  А В
  
  Например:
  А= Дождь идет. В= Дует ветер.
  А↔В= Дождь идет тогда и только тогда, когда нет ветра.
  

• 11 слайд

  F = A^(B→C)
  логическое выражение
  Логическое выражение
  (логическая функция, логические переменные и знаки логических операций).
  
  Порядок выполнения логических операций
  в логическом выражении:
  
  Действия в скобках.
  Инверсия, конъюнкция, дизъюнкция, импликация, эквиваленция.
  

• 12 слайд

  Уровень понимания
  Запиши следующие высказывания в виде логических выражений и найди их значения:
  
  Неверно, что корова – хищное животное.
  Если Маша – сестра Саши, то Саша – брат Маши.
  Водительские права можно получить тогда и только тогда, когда тебе исполнится 18 лет.
  На следующем уроке будет контрольная работа или объяснение новой темы.
  Сегодня и завтра я буду учиться кататься на коньках.