OTSUSTUSÕPETUS 3.1. - 3.7.
loogikas esitatud skeemiga: Ükski masin ei ole inimese
valmistatud - ei kehti, ja Ei ole tõsi, et ükski masin ei ole
inimese valmistatud - see mõte kehtib, kuna on toimunud
kehtiva lähtelause kahekordne eitamine.
3. 4. Otsustuse liigid.
Seni oleme käsitlenud ainult kategoorilisi otsustusi, s.t.
otsustusi, milles subjekt on/ei ole seotud teatud predikaadiga
(A, E, I, O tüüpi otsustused). Lisaks kategoorilisele otsustusele
tuntakse veel suhteotsustust ja modaalsust väljendavaid
otsustusi. Suhteotsustused kuuluvad matemaatiliste lausete
valdkonda ja seepärast jäävad formaalses loogikas tahaplaanile.
Näiteks, Viljandi asub Tallinnast kolm korda kaugemal kui
Rapla, või Ööpäevane temperatuuri kõikumine on sisemaal
suurem kui rannikualadel.
Komplitseeritum olukord on modaalsust väljendavate
otsustustega. Probleem on tingitud sellest, et modaalsusest on
loogikas hakatud kõnelema alles hiljuti - möödunud sajandi
annaabi.ee 
