Równoważność zdań
Zdanie złożone postaci: p wtedy i tylko wtedy, gdy q nazywamy równoważnością zdań i zapisujemy p ⇔ q. Zdania p, q nazywamy członami tej równoważności. Równoważność p ⇔ q jest zdaniem prawdziwym tylko wtedy, gdy oba jej człony mają tę samą wartość logiczną, a więc gdy są jednocześnie zdaniami prawdziwymi lub jednocześnie fałszywymi.
| p | q | p ⇔ q |
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Równoważnymi są takie zdania, które mają tę samą wartość logiczną.