Mõtlemise põhireeglid, loogika
Kahest vasturääkivast otsustusest, millest ühes jaatatakse seda, mida
teises eitatakse, on kindlasti kehtiv üks ((principium exclusi tertii). A A
Reegel kõneleb sellest, et kahest vasturääkivast otsustusest (väitest,
arutlusest) on üks kehtiv (tõene), teine ei kehti (on väär), kolmandat
võimalust ei ole tertium non datur. Näide: kaebealune kas on süüdi või ei
ole seda vahepealset (kolmandat) ei ole antud.
Vasturääkivaid ehk kontradiktoorseid otsustusi tuleb mõista kui
vastastikku teineteist eitavaid, välistavaid (alternatiivseid). Vasturääkivad
on järgmised otsustuse vormid:
a) Kõik S on P & Mõni S ei ole P
b) Ükski S ei ole P & Mõni S on P
c) See S on P & See S ei ole P
Viimase paari puhul on tegemist täismahulise subjektiga üldises
otsustuses. Teatavasti üldised otsustused (A & E) on omavahel kontraarsed
(vt. loogilist ruutu). Kolmandat välistav reegel ei toimi kontraarsete seoste
annaabi.ee 
