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

Содержание

Слайд 2

Логическая переменная - это простое высказывание, содержащее только одну мысль. Ее

Логическая переменная -

это простое высказывание,
содержащее только одну мысль.
Ее символическое обозначение

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

Логические связки - это слова и словосочетания, которые позволяют из уже

Логические связки -

это слова и словосочетания, которые позволяют из уже заданных

высказываний строить новые высказывания
/"не", "и", "или",  "если... , то",
"тогда и только тогда"/.
Слайд 4

Составное высказывание /логическая функция/ - это высказывание, образованное из логических переменных

Составное высказывание /логическая функция/ -

это высказывание, образованное из логических переменных (простых

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

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

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

Слайд 6

Инверсия /логическое отрицание/ Логические связки: «не», «нет», «неверно, что». Обозначение: ¬А;

Инверсия /логическое отрицание/

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


А= Я получил пятерку. ¬А= Я не получил пятерку.
Слайд 7

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

Конъюнкция /логическое умножение/

Логическая связка: «и».
Обозначение: А & B; А^B; A and

B.
Например:
А= На полке стоят учебники.
В= На полке стоят справочники.
А^В= На полке стоят учебники и справочники.
Слайд 8

Дизъюнкция /логическое сложение/ Логические связки: «или», «либо, либо». Обозначение: А+B; А

Дизъюнкция /логическое сложение/

Логические связки: «или», «либо, либо».
Обозначение: А+B; А v B;

A or B.
Например:
А= Я пойду до друга Ивана.
В= Я пойду до бабушки.
А+В= Либо я пойду до друга Ивана, либо до бабушки.
Слайд 9

Импликация /логическое следование/ Логические связки: «если, … то», «из …следует», «когда,

Импликация /логическое следование/

Логические связки: «если, … то», «из …следует», «когда, …тогда»,

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

Эквиваленция /логическое равенство/ Логические связки: «тогда и только тогда, когда», «равносильно»,

Эквиваленция /логическое равенство/

Логические связки: «тогда и только тогда, когда», «равносильно», «эквивалентно», «необходимо

и достаточно».
Обозначение: А↔B; А≡В;
А В
Например:
А= Дождь идет. В= Дует ветер.
А↔В= Дождь идет тогда и только тогда, когда нет ветра.
Слайд 11

F = A^(B→C) логическое выражение Логическое выражение (логическая функция, логические переменные

F = A^(B→C)
логическое выражение

Логическое выражение
(логическая функция, логические переменные и знаки

логических операций).
Порядок выполнения логических операций
в логическом выражении:
Действия в скобках.
Инверсия, конъюнкция, дизъюнкция, импликация, эквиваленция.