Ekvivalencija
Sa Wikipedije, slobodne enciklopedije
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
Nedovršeni članak Ekvivalencija koji govori o matematici treba dopuniti. Dopunite ga prema pravilima Wikipedije.