Loogika konspekt 1-5
Samasugune vahekord on osaeitava otsustuse (alluv) ja üldeitava otsustuse (allutav)
vahel.
SUHTEOTSUSTUSED
Suhteotsustused on väited suhete kohta mingite objektide vahel, nt Tartu asub
Tallinnast lõuna pool. Manni ja Kati on õed. Kõik tudengid tunnevad mõnda õppejõudu.
Piir suhte- ja atributiivse otsustuse vahel pole range. Nt võib otsustust Manni ja Kati on
õed tõlgendada kategoorilisena: Manni on Kati õde.
Kahekohalisi suhteotsustusi on kaheksat liiki. Näiteks on otsustus Kõik tudengid
tunnevad mõnda õppejõudu üld-osajaatav; otsustus Mõnele tudengile ei meeldi mitte
ükski õppejõud on osa-üldeitav otsustus jne.
Suhteotsustusi on lihtsam käsitleda tuginedes predikaatarvutusele.
14_fl_i-v
VENNI DIAGRAMMID
Käsitledes mõiste mahtu kui hulka, on võimalik luua meetodeid väite terminite vaheliste