Ekvivalenca

V matematični logiki je ekvivalenca dvočlena logična operacija med izjavami. Znak za ekvivalenco je $\iff$ ali redkeje tudi $\leftrightarrow$. Ekvivalenca $A\iff B$ je pravilna, samo če imata operanda A in B enako logično vrednost (ali sta oba pravilna ali pa oba napačna).

Ekvivalenco $A\iff B$ lahko beremo na več načinov:

• A, če in samo če B.
• Iz A sledi B in iz B sledi A.
• A natanko takrat, ko B.
• A je potreben in zadosten pogoj za B.

Pravilnostna tabela

Ekvivalenca

A	B	$A\iff B$
p	p	p
p	n	n
n	p	n
n	n	p

Opomba: p - pravilno, n - nepravilno

Glej tudi

• negacija
• konjunkcija
• disjunkcija
• implikacija