Prawa logiczne:
Prawo podwójnego przeczenia
Prawo wyłączonego środka
Prawo transpozycji
Zaprzeczenie implikacji
Reguła odrywania
Przechodniość implikacji
Prawo rozdzielczości alternatywy
Rozdzielczość koniunkcji
--
Patrz załącznik
Prawa logiczne:
Prawo podwójnego przeczenia
Prawo wyłączonego środka
Prawo transpozycji
Zaprzeczenie implikacji
Reguła odrywania
Przechodniość implikacji
Prawo rozdzielczości alternatywy
Rozdzielczość koniunkcji
--
Patrz załącznik