Логика. Панькова Н.М. - 18 стр.

UptoLike

ВУЗ: 

ТПУ | Томск

Составители: 

Рубрика: 

1. Человек освободился на тот момент, когда говорил это, его машина
не сломалась, и он был дома вовремя.
2. Человек освободился, и, несмотря на то, что его машина сломалась,
успел к ужину домой.
3. Он освободился, но, из-за поломки машины, все-таки опоздал.
Полная истинностная таблица для данной формулы будет выглядеть
следующим образом:
p q r p
&
q ⊃
r
1 1 1 1
1
0
1
1
1 1 0 1
1
0
1
0
1 0 1 1
1
1
1
1
1 0 0 1
0
1
0
0
0 1 1 0
0
0
1
1
0 1 0 0
0
0
1
0
0 0 1 0
0
1
1
1
0 0 0 0
0
1
0
0
Итак, мы рассмотрели, как находится значение истинности сложного
высказывания. Возьмем еще один пример:
Найдем значение истинности сложного высказывания вида
p
⊃
(q
⊃
p).
Прежде всего, распишем интерпретации под пропозициональными
буквами:
p
⊃
q
⊃
p
1 1 1
1 0 1
0 1 0
0 0 0
Затем определим значение истинности составляющих и запишем в
таблицу под соответствующим оператором:
p
⊃
q
⊃
p
1 1
1
1
1 0
1
1
0 1
0
0
0 0
1
0
Для получения истинности всего высказывания сравним значение
истинности антецедента p с уже полученными значениями истинности
консеквента (q ⊃ p):
18

Страницы