Loogija ja juriidiline argumentatsioon
See saadakse kahest otsustusest loogilise seose „ja“ abil. Koer ja vaal on imetajad.
Tõene, kui mõlemad eeldused(otsustused) on tõesed. Koer ja vaal on imetajad.
(A^B) C
Kas...või-välistav disjunktsioon (jagav) otsustus
See on tõene siis ja ainult siis, kui üks teda moodustavatest otsustest ja tõene ja teine
väär. Väär, kui mõlemad otsustused on tõesed või väärad. See laud on kas kollane või
mittekollane. See laud on kas kollane või mingit muud värvi. A˅B
Või-mittevälistav disjuktiivne (jagav) otsustus
Tõene ka siis, kui mõlemad eeldused on tõesed. See on väär ainult siis kui mõlemad
otsustused on väärad. Tõene igal muul juhul. See laud on kas kollane või mittekollane.
Kui...siis implikatiivne (tingiv) otsustus
Tõene siis, kui alus ja järeldus on mõlemad tõesed sõltumata nende sisust. Väär siis