Relacija ekvivalentnosti

Sa Wikipedije, slobodne enciklopedije

Ovom članku je potrebna jezička standardizacija, preuređivanje ili reorganizacija. Pogledajte kako poboljšati članak, kliknite na link uredi i doradite članak vodeći računa o standardima Wikipedije.

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 Relacija ekvivalentnosti koji govori o matematici treba dopuniti. Dopunite ga prema pravilima Wikipedije.