Mõtlemise põhireeglid, loogika
3
Ilmar Lilleorg
Loogika vihik
2003
vasturääkivast otsustusest, ühes ja samas suhtes ühel ja samal ajal, võib
kehtiv olla ainult üks. Reegel tähendab, et üheaegselt ei saa kehtivad olla
mingi otsustus ja selle eitus, ehk formaliseerituna: (B &B). Seega, ei ole
üheaegselt kehtivad järgmised kategoorilised otsustused:
Antud S on P (A) ja Antud S ei ole P (E);
Ükski S ei ole P (E) ja Kõik S on P (A);
Kõik S on P (A) ja Mõni S ei ole P (O);
Ükski S ei ole P (E) ja Mõni S on P (I).
Käesolevas tekstis esineb esmakordselt otsustuse vorm "Antud S on P" ja
"Antud S ei ole P", milles otsustuse subjekt on täismahus ja tähistab üksikut
(konkreetset, ainukordset, individuaalset)