Podwójne przeczenie
p Û ~(~p)
Wyłączony środek
p Ú ~p
Prawo transpozycji
(p Þ q) Û( ~p Þ ~q )
Zaprzeczenie implikacji
~( p Þ q) Û ( p Ù ~q )
Reguła odrywania
[( p Þ q ) Ùp] Þ q
Przechodniość implikacji
[( p Þ q ) Ù( q Þ r )] Þ ( p Þ r)
Rozdzielność alternatywy
[ p Ù ( q Úr )] Û [( p Ù q ) Ú ( p Ùr )]
Rozdzielność koniunkcji
[ p Ú ( p Ùr )] Û [( p Ú q ) Ù ( p Úr )]
