OTSUSTUSÕPETUS 3.1. - 3.7.
vastupidiselt indikaatorotsustusele: Kõik mitte-L on mitte-K
(ehk: Kõik mitte-laulvad on mitte-käod). Probleemi
lahendamine algab muutmisest, mille tulemusel saadakse
otsustus: Ükski mitte-L ei ole K. Seejärel teostatakse
ümberpööramine ja otsustus on: Ükski K ei ole mitte-L, mida
omakorda muutes, saadakse: Kõik K on L. Loogilise ruudu abil
saab määrata, et arutlusel oleva otsustuse tõeväärtus on:ei kehti.
Läbi vaadanud ühe ja sama terminitepaariga otsustuste 8
võimalikku juhtumit ja teades, et otsustusi on 4 vormi
(A,E,I,O), võib vastava aritmeetilise tehte alusel kinnitada 32
otsustuse olemasolu. Kui ühe otsustuse tõeväärtus on
fikseeritud, siis ülejäänud 31 otsustuse tõeväärtust on võimalik
loogika abil leida.
Ei saa väita, et otsustuse tõeväärtuse leidmine omaks
suurt praktilist tähtsust teoreetilises või argimõtlemises, kuid
arutluse korrektsust tagava harjutusena on see vaieldamatult
annaabi.ee 
