Loogika konspekt 1-5
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.
Atributiivsed (Id attributum 'lisandatu') otsustused on kirjeldavad väited mingite
objektide omaduste kohta ning neid on nelja liiki:
· Üldjaatav (ik universal affirmative proposition); nt: Kõik S on P. Iga S on P.
Kõik inimesed on surelikud.
· Üldeitav (universal negative proposition); nt: (Mitte) ükski S ei ole P.
Mitte ükski inimene pole igavene.
· Osajaatav (particular affirmative proposition); nt: Mõned S on P.
Mõned varesed on valged.