Vajad kellegagi rääkida?
Küsi julgelt abi LasteAbi
Logi sisse
Sulge

"antiekvivalentsi" - 2 õppematerjali

LOOGIKA PÕHIREEGLID-SEMANTILINE KOLMNURK Loogika määratlemisest
348
pdf

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest

mida nimetatakse lausete p ja q antiekvivalentsiks ja interpreteeritakse alati nii, et ta on tõene parajasti siis, kui tema operandidel on erinevad tõeväärtused. Loomulikus keeles on välistava disjunktsiooni indikaatoriteks väljendid kas … või …; embkumb … . Nt „Kas maksad maksu või saad karistada”. Levinud tähistusi (esimesena ja poolpaksus kirjas esitatu võtame allpool kasutusele): p ⊕ q, p ∨ q, p xor q, p EOR q. Range disjunktsiooni ehk antiekvivalentsi tõeväärtustabel. pqp⊕q 110 101 011 000 Range disjunktsioon on samaväärne ekvivalentsi eitusega p ⊕ q ≡ ¬(p↔q). Range disjunktsioon on väljendatav eituse, konjunktsiooni ja disjunktsiooni abil vähemalt kahel viisil: 1) p ⊕ q= (p ∨ q) & ¬(p & q); 2) p ⊕ q = p & ¬q ∨ ¬p & q. Esimesest valemist ilmneb, et range disjunktsioon lisab disjunktsioonile täiendava tingimuse. Teisest valemist ilmneb asjaolu, et antiekvivalentsi operandid võivad erineva tõeväärtusega

Õigus → Õigus
44 allalaadimist
LOOGIKA PÕHIREEGLID-SEMANTILINE KOLMNURK
197
pdf

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK

mida nimetatakse lausete p ja q antiekvivalentsiks ja interpreteeritakse alati nii, et ta on tõene parajasti siis, kui tema operandidel on erinevad tõeväärtused. Loomulikus keeles on välistava disjunktsiooni indikaatoriteks väljendid kas ... või ...; emb- kumb ... . Nt ,,Kas maksad maksu või saad karistada". Levinud tähistusi (esimesena ja poolpaksus kirjas esitatu võtame allpool kasutusele): p q, p q, p xor q, p EOR q. Range disjunktsiooni ehk antiekvivalentsi tõeväärtustabel. p q pq 1 1 0 1 0 1 0 1 1 0 0 0 Range disjunktsioon on samaväärne ekvivalentsi eitusega p q ¬(p q). Range disjunktsioon on väljendatav eituse, konjunktsiooni ja disjunktsiooni abil vähemalt kahel viisil:

Matemaatika → Matemaatika ja loogika
33 allalaadimist


Sellel veebilehel kasutatakse küpsiseid. Kasutamist jätkates nõustute küpsiste ja veebilehe üldtingimustega Nõustun