Tautologia
Tautologie (prawa) rachunku zdań są to takie wyrażenia tego rachunku, z których zawsze otrzymujemy zdania prawdziwe niezależnie od wartości logicznych zdań podstawianych w miejsce zmiennych zdaniowych
Jedne z najbardziej znanych i postawowych tautologii:
| Tautologia | Zapis | Czytamy |
| Prawo wyłącznego środka | | Alternatywa dwóch zdań, z których jedno jest zaprzeczeniem drugiego, jest prawdziwa |
| Prawo podwójnego przeczenia | | Zaprzeczeniezaprzeczenia zdania p jest równoważne zdaniu p |
| Prawo sprzeczności | | Zaprzeczenie koniunkcji dwóch zdań, z których jedno jest zaprzeczeniem drugiego, jest prawdziwe |
| Prawo sylogizmu (przechodności implikacji) | | Jeżeli zdanie p implikuje zdanie q i zdanie q implikuje zdanie r, to zdanie p implikuje zdanie r |
| Prawo transpozycji | | Jeżeli zaprzeczenie zdania q implikuje zaprzeczenie zdania p, to zdanie p implikuje zdanie q |
| Prawo łączności alternatywy | Alternatywa zdania r i alternatywy dwóch zdań p i q jest równoważna alternatywie zdania p i alternatywie zdania q i r | |
| Prawo rozdzielności koniunkcji względem alternatywy | Koniunkcja zdania p i alternatywy zdań q i r jest równoważna alternatywie koniunkcji p i q oraz koniunkcji p i r | |
| Prawo rozdzielności alternatywy względem koniunkcji | Alternatywa zdania p i koniunkcji q i r jest równoważna koniunkcji alternatywy p i q oraz alternatywy p i r | |
| Pierwsze prawo De Morgana | | Negacja alternatywy dwóch zdań jest równoważna koniunkcji negacji tych zdań |
| Drugie prawo De Morgana | | Negacja koniunkcji dwóch zdań jest równoważna alternatywie negacji tych zdań |
