"mitteekvivalents" - 1 õppematerjal

Loogika konspekt 1-5

Tõeväärtustabel: p q pq 1 1 1 1 0 0 0 1 0 0 0 1 Laused on ekvivalentsed, kui (1) nad järelduvad vastastikku teineteisest: p q = (p q) & (q p) (2) nad on samaaegselt tõesed või samaaegselt väärad: p q = (p & q) (¬p & ¬q) **Range disjunktsioon (välistav disjunktsioon; antiekvivalents; mitteekvivalents): Lausete p ja q rangeks disjunktsiooniks ehk antiekvivalentsiks nimetatakse lauset, mis on tõene parajasti siis, kui tema mõlemad komponentlaused on erineva tõeväärtusega. Sõna või esineb ranges disjunktsioonis välistavas tähenduses. Tunnuseks võib on sõnapaar kas ... või .... Nt Sa kas maksad maksud või saad karistada. AE-d tähistatakse kas tavalise disjunktsiooni märgiga või p xor q (exclusive or) Tõeväärtustabel: p q p xor q