Ekvivalencija
Neka su data dva suda : P {\displaystyle P} i : Q {\displaystyle Q} . U slučaju da su date dvije tačne implikacije P → Q {\displaystyle P\to Q} Q → P {\displaystyle Q\to P} dobijamo novi sud P ≡ Q {\displaystyle P\equiv Q} koji nazivamo ekvivalencija. On je tačan samo onda ako su sudovi : P {\displaystyle P} i : Q {\displaystyle Q} istovremeno istiniti ili neistiniti. Važi zakon komutacije P ≡ Q = Q ≡ P {\displaystyle P\equiv Q=Q\equiv P} Tabela istinitosnih vrijednosti