Ekvivalencija

Izvor: Wikipedia

Ako su tačne implikacije "P → Q" i "Q → P". Dobijamo novi sud P Q koji nazivamo ekvivalencija. To je binarna logička operacija. Ekvivalencija suda P sa sudom Q je sud P Q koji je tačan samo onda ako su oba suda istinita ili neistinita. Vrijedi zakon komutacije P Q = Q P