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 seoste graafiliseks kujutamiseks. Üheks meetodiks on Venni diagrammid (need leiutas inglise loogik John Venn, kes elas aastatel 1834-1923. Venni diagramme kasutatakse peamiselt süllogistikas kuid neid saab kasutada ka
järeldamisprotsesside kehtivust peab saama reeglite abil tõestada: järeldamine on kehtiv, kui selle iga samm on kehtiv. (Nt lauseloogika, predikaatloogika vms kehtivad järeldamised.) 3 Tuletussüsteeme võib olla väga erinevaid. Paljud tuletusreeglid pärinevad traditsioonilisest loogikast, ent täielikult üksnes traditsioonilise loogika reeglitel põhinevat tuletussüsteemi kasutatakse tänapäeval suhteliselt harva, süllogistika on üks näide. Levinumad on lausearvutusele või predikaatarvutusele tuginevad tuletussüsteemid või veel keerukamad süsteemid, nt võidakse lisada ka modaalsed väited ja modaalse loogika tuletusreeglid. Klassikalises loogikas võib tuletussüsteemi aluseks võtta kas predikaatloogika või lauseloogika. Lihtsam on lähtuda lauseloogikast ning allpool on võetud eeskujuks Copi ja Coheni õpikus (2009) esitatud loomulik tuletussüsteem (system of natural deduction).
järeldamised.) 3 Tuletussüsteeme võib olla väga erinevaid. Paljud tuletusreeglid pärinevad traditsioonilisest loogikast, ent täielikult üksnes traditsioonilise loogika reeglitel põhinevat tuletussüsteemi kasutatakse tänapäeval suhteliselt harva, süllogistika on üks näide. Levinumad on lausearvutusele või predikaatarvutusele tuginevad tuletussüsteemid või veel keerukamad süsteemid, nt võidakse lisada ka modaalsed väited ja modaalse loogika tuletusreeglid. Klassikalises loogikas võib tuletussüsteemi aluseks võtta kas predikaatloogika või lauseloogika. Lihtsam on lähtuda lauseloogikast ning allpool on võetud eeskujuks Copi ja Coheni õpikus (2009) esitatud loomulik tuletussüsteem (system of natural deduction).
annaabi.ee 
