Таблица 1. Логические операции
&, х,
V, |
¬ , ¯
Союз в естественном языке
И
ИЛИ
НЕ
Примеры:
А – число 24 четное
В – число 24 трехзначное
Число 24 четное И трехзначное.
Число 24 четное ИЛИ трехзначное.
Неверно, что число 24 четное.
Таблица истинности – таблица, определяющая значение сложного высказывания при всех возможных значениях простых высказываний
А
В
А˄ В
А
В
А˅В
А
А
0
0
0
0
0
0
0
1
0
1
0
0
1
1
1
0
1
0
0
1
0
1
Вывод:
если исходное выражение истинно, то результат его отрицания будет ложным, и наоборот.
1
1
1
1
1
1
Вывод:
Истинна только в том случае, если оба простых высказывания истинны.
Вывод:
ложна, если оба простых высказывания ложны.
Таблица 1. Логические операции
Обозначение
Союз в естественном языке
Примеры:
А – число 24 четное
В – число 24 трехзначное
Таблица истинности – таблица, определяющая значение сложного высказывания при всех возможных значениях простых высказываний
А
В
А В
А
В
А В
А
А
Вывод:
Вывод:
Вывод:
