Презентация на тему: Логические выражения и операции

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

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

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

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

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

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

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

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

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

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

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

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