Logička ekvivalencija
U logici, jednačine i nejednačine p i q su međusobno ekvivalentne (lat. aeque—jednako) ako imaju isti skup rešenja. Drugim rečima, kad se za dva izraza kaže da su ekvivalentni, znači da iz jednog izraza sledi drugi i obrnuto. Ekvivalencija se može zapisati na sledeće načine: p ⇔ q, p ≡ q ili Epq. Isti simboli se koriste za prikazivanje ekvivalentnih matrica.
Vidi još uredi
Literatura uredi
- Elliot Mendelson, Introduction to Mathematical Logic, second edition, 1979.
