Równoważność to zdanie mające postać:

p wtedy i tylko wtedy, gdy q,

gdzie p, q są zdaniami. Równoważność zapisuje się symbolicznie $p\; \backslash iff\; q$.

Formalnie: równoważność jest to dwuargumentowy spójnik zdaniowy, którego funkcja prawdziwościowa odpowiada znaczeniu zwrotu: ... wtedy i tylko wtedy, gdy ....

Równoważność zdań $p\; \backslash iff\; q$ uznaje się za prawdziwą wtedy i tylko wtedy, gdy wartości logiczne zdań p i q są takie same.

Tablica prawdy (matyca logiczna) równoważności, gdzie 1 to prawda, 0 to fałsz:

$p$	$q$	$p\; \backslash iff\; q$
0	0	1
0	1	0
1	0	0
1	1	1

Zobacz też

---

• przegląd zagadnień z zakresu matematyki
• rachunek zdań
• prawa rachunku zdań
• alternatywa
• alternatywa wykluczająca
• dysjunkcja
• implikacja
• koniunkcja
• negacja
• gddy
• wtw
• NAND
• NOR
• Algebra Boole'a

Logika formalna

Gdw | Iff | Ssi | אם ורק אם | Eff | 同値 | Dan en slechts dan als | Omm