silnego prawa kontrapozycji:
oraz prawa wyłączonego środka:
Prawo kontrapozycji (silne) {| cellspacing=15 |1.
|2. | | jest sprzeczny |- |3.
|4.
|5.
Prawo wyłączonego środka {| cellspacing=15 |1.
|2.
|3. | | – sprzeczny |- |4.
|5.
|6.
|7. | | – sprzeczny |- |8.
|9. | | – sprzeczny |- |10.
Związek z algebrą Boole’a
Formuła języka klasycznego rachunku zdań jest tezą KRZ jeśli jest ona prawdziwa dowolnej algebrze Boole’a.
W szczególności jeśli formuła nie jest tezą KRZ, to można ją obalić w dwuelementowej algebrze Boole’a czyli nie jest ona tautologią klasyczną.
Zobacz też algebra ogólna intuicjonistyczny rachunek zdań matryca logiczna języka zdaniowego
Linki zewnętrzne
Kategoria:Rachunek zdań