modus ponendo tollens (sposób przeczący potwierdzeniem)46eliminacji implikacji44zaprzeczenia implikacji45redukcji do absurdu (łac. reductio ad absurdum)34dylematu konstrukcyjnego prostego – jeden z przypadków szczególnych35
Trzy różne zmienne zdaniowe +nazwa prawawzór (formuła)liczba różnych spójnikówłączna liczba spójnikówłączności Elementy logiki. Prawa rachunku zdań. Podstawowe tautologie, serwis „Matematyka z ZUT-em”, Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, matematyka.zut.edu.pl [dostęp 2025-09-25].koniunkcji25alternatywy25rozdzielnościkoniunkcji względem alternatywy36alternatywy względem koniunkcji36implikacji względem siebie – prawo Fregego16sylogizmu warunkowego, inaczej hipotetycznegoprzechodności implikacji (jeśli z jednego zdania wynika drugie i z drugiego trzecie, to z pierwszego wynika trzecie)251515eksportacji25importacji25komutacji15łączenia poprzedników36łączenia następników36dylematu konstrukcyjnego prostego – postać ogólna36
Zobacz też Algebra Boole’a Reguła opuszczania alternatywy
Uwagi
Przypisy
Bibliografia