Ekvivalenca

V matematični logiki je ekvivalenca dvočlena logična operacija med izjavami. Znak za ekvivalenco je $\Leftrightarrow$ ali redkeje tudi $\leftrightarrow$ . Ekvivalenca $A\Leftrightarrow 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\Leftrightarrow 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\Leftrightarrow B$
p	p	p
p	n	n
n	p	n
n	n	p

Opomba: p - pravilno, n - nepravilno

Glej tudi