Równoważność

Równoważnością zdań $p,q$p,q nazywamy zdanie postaci “$p$p wtedy i tylko wtedy, gdy $q$q” i symbolicznie zapisujemy je w postaci:

Przyjmujemy, że zdanie $p \iff q$p \iff q jest prawdziwe, gdy oba zdania logiczne mają tę samą wartość logiczną, tj. oba są prawdziwe lub oba są fałszywe.