"suhteotsustus" - 1 õppematerjal

Loogika konspekt 1-5

Võib esineda ka implitsiitselt. Eesti k. on koopulaks enamasti: on (ei ole). Kvantor (ik quantifier) ehk operaator-sõna, mis seisab S ees ning osutub kas S mahule või täpsustab S ja P vahelise seose iseloomu. Lihtotsustus üldkujul: (kvantor) S on (ei ole) P." Nt. Atributiivne otsustus: Kõik (kv) inimesed (S) on (kp) surelikud (P). Mõned (kv) varesed (S) on (kp) valged (P). Modaalne otsustus: Võimalik (kv), et pilet (S) ei ole (kp) ehtne (P). Suhteotsustus: Kõik (kv) tudengid (S) tunnevad (kp) mõnda (kv) õppejõudu (P).  11_fl_i-v ATRIBUTIIVSED OTSUSTUSED Sünonüümidena võib klassikalise atributiivse otsustuse asemel kasutuda ka termineid kategooriline väide või ka kategooriline propositsioon (ik categorical proposition), sest loogikas on oluline lause sisu, mitte ütlemisviis.