LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest
tagajärje eitusele, valemina p → q, ¬p ⊭ ¬q. Metasümboleid p ja q võib asendada positiivsete
või negatiivsete literaalidega. Saame neli traditsioonilist mittekehtivat aluse eituse
arutlusvormi, kusjuures mittekehtivust märgib sümbol ⊭:
p → q, ¬p ⊭¬q
¬p → q, p ⊭ ¬q
p → ¬q, ¬p ⊭ q
¬p → ¬q, p ⊭ q.
Tuleb olla ettevaatlik, et mitte lasta ennast segada eitava kujuga lausetest. Tingivkategooriliste
süllogismide korral on just eitavate lausete puhul raske aru saada, kas
kategooriline eeldus eitab või jaatab tingivas lauses esinevat lihtväidet. Ülesannetes on
kasulik tähistada mingi sümboliga positiivseid lauseid. Kui ülesandes esineb eitavaid väiteid,
saab neid tähistada negatiivse literaaliga, st sümboliga, mille ees on eituse märk. Siis on
valemit vaadates kohe näha, kas selles esineb eitav lause või mitte. Muidugi peab meeles
annaabi.ee 
