OTSUSTUSÕPETUS 3.1. - 3.7.
maksimaalselt formaliseeritud, s.t. sedavõrd formaliseeritud, et
domineerib sümboolika, kasutatakse ka operaatorsõna
väljendamiseks kvantori märki. Seda, mõistagi, juhul, kui kogu
otsustus on avaldatud märkide keeles (sümboolikas). Kvantor
(tuletatud ld.k. quantum) tähistab kogust, hulka, määra.
Kvantori märgid (sümbolid) on: - näitab subjekti
täismahulisena, nimetatakse üldkvantoriks, ja - näitab
subjekti piiritlemata mahus, nimetatakse eksistentsikvantoriks.
Kvantori märkide kasutamisega tutvume vastavalt vajadusele
edaspidi.
2
Ilmar Lilleorg
Loogika vihik
2006
3. 1. Otsustuste klassifikatsioon.
Aristotelese esitatud otsustuste klassifikatsioon on kahe
annaabi.ee 
