Dziadek Mróz:
| p | q | p ⇒ q |
|−−|−−|−−−−−−|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Sprawdzamy czy formuła może być 0 (wtedy nie jest tautologią
~(p ⇒ q) ⇒ (p ⇒ q)
Pod głównym spójnikiem jest 0
~(p ⇒ q) ⇒ (p ⇒ q)
0
Aby implikacja była 0 musi zajść formuła 1 ⇒ 0
~(p ⇒ q) ⇒ (p ⇒ q)
1 0
0
1 ⇒ 0 = 0
~(1 ⇒ 0) = 1
Aby formuła z lewej strony była 1, to wnętrze negacji musi być 0
~(p ⇒ q) ⇒ (p ⇒ q)
1 0 0
1 0
Wychodzi z tego, że formuła nie jest tautologią
~(p ⇒ q) ⇒ (p ⇒ q)
1 0 0
1 0
1 0
0
O ile dobrze to zrozumiałem to tak powinno być
?