Równoważność zdań p i q oznaczamy symbolem p⇔q i czytamy „p wtedy i tylko wtedy, gdy q”. Równoważność dwóch zdań jest prawdziwa, gdy oba zdania są prawdziwe lub oba zdania są fałszywe. Przykłady.