Dwie różne zmienne zdaniowe nazwa prawawzór (formuła)liczba różnych spójnikówłączna liczba spójnikówprzemienności Anna Rybak, Wprowadzenie do logiki matematycznej, Zintegrowana Platforma Edukacyjna – Ministerstwo Edukacji Narodowej (ZPE MEN), zpe.gov.pl [dostęp 2025-09-26].koniunkcji23alternatywy23dołączania alternatywy22opuszczania koniunkcji22pochłaniania3333symplifikacji, inaczej aksjomat K (jeśli zdanie jest prawdziwe, to wynika ono z każdego innego)12odrywania, łac. modus ponendo ponens (sposób potwierdzający potwierdzeniem) (jeśli z jednego zdania wynika drugie i pierwsze jest prawdziwe, to drugie też należy uznać za prawdziwe)23De Morganapierwsze – zaprzeczenia koniunkcji46drugie – zaprzeczenia alternatywy46Dunsa Szkota (z fałszu wynika każde inne zdanie)2333kontrapozycji, inaczej transpozycjijeśli z jednego zdania wynika drugie, to z zaprzeczenia drugiego wynika zaprzeczenie pierwszego25jeśli z zaprzeczenia zdania wynika drugie zdanie, to z zaprzeczenia drugiego wynika pierwsze25jeśli z jednego zdania wynika zaprzeczenie drugiego, to z drugiego wynika zaprzeczenie pierwszego25łac. modus tollendo tollens (sposób przeczący przeczeniem)35sylogizmu alternatywnego, łac. modus tollendo ponens (sposób potwierdzający przeczeniem)44łac.