Ekvivalencija

Neka su data dva suda :${\displaystyle P}$ i :${\displaystyle Q}$. U slučaju da su date dvije tačne implikacije

${\displaystyle P\to Q}$

${\displaystyle Q\to P}$

dobijamo novi sud

${\displaystyle P\equiv Q}$ koji nazivamo ekvivalencija. On je tačan samo onda ako su sudovi :${\displaystyle P}$ i :${\displaystyle Q}$ istovremeno istiniti ili neistiniti.

Važi zakon komutacije

${\displaystyle P\equiv Q=Q\equiv P}$

Tabela istinitosnih vrijednosti

Sud ${\displaystyle P}$	Sud ${\displaystyle Q}$	${\displaystyle P\to Q}$	${\displaystyle Q\to P}$	${\displaystyle P\equiv Q}$
T	T	T	T	T
T	N	N	T	N
N	T	T	N	N
N	N	T	T	T