Реферат: Исчисление высказываний
F
TT
TF
T
F
TT
TF
T
F
FT
FF
F
F
FT
FF
T
T
FT
FF
F
T
Следует прокоментировать таблицу истиности для импликации в состоянии p=F , q=T. Вспомним наш пример,
если 
Это высказывание не содержит утверждения, что если “Анаконда” не идет в этом кинотеатре, то я не куплю билет. Таким образом, даже если p=F, т.е. “Анаконда” не идет в этом кинотеатре, я могу купить билет.
Таблица истиности может быть построена для высказывания любой сложности. Например, рассмотрим выражение
(pÚq) ÞØp
Построим сначала таблицу истиности для (pÚq), обозначив это выражение через s, затем построим таблицу истиности для Øp, обозначив это выражение через r, и, наконец, построим таблицу истиности для sÞr. В таблице 5.4. показан этот процесс.
Таблица 5.4.
Таблица истиности для выражения (pÚq) ÞØp.
| p | q | s = pÚq | r =Øp | s Þ r |
| T | T | T | F | F |
| T | F | T | F | F |
| F | T | T | T | T |
| F | F | F | T | T |