"tv10" - 1 õppematerjal

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

6 mille tõlkimine lausearvutuse sümbolkeele ühemõtteliseks avaldiseks võib olla raskendatud. Ka lausearvutuse sümbolkeeles käsutavad eri autorid eituse märkimiseks erinevaid sümboleid. Järgnevalt esitame eituse levinumad tähistused, kusjuures esimesena ja poolpaksus kirjas esitatu võtame allpool kasutusele: ¬p, ~p, p̅, not p. Eitamine annab tulemile operandile vastupidise tõeväärtuse. Eituse tõeväärtustabel kahel samaväärsel kujul. p ¬p p ¬p tv10 vt01 Eitatud lause eitamine annab tulemiks eitusele vastupidise tõeväärtuse, st tulem on samaväärne algse tõeväärtusega, seega ¬¬p = p. Eitus on unaarne (ühe operandiga) tehe. Järgnevad tehted on kõik binaarsed (kahe operandiga). KONJUNKTSIOON (conjunction) Tõeväärtuste Boole'i algebras saavad muutujate p ja q väärtused olla vaid l või 0. Esimest väärtust peetakse suuremaks, teist väiksemaks. Muutujate p ja q konjunktsioon defineeritakse