OTSUSTUSÕPETUS 3.1. - 3.7.
kehtivaks. Soovikorral võib mõelda abstraktsete sümbolite "K"
asemele, näiteks, "kägu" ja "L" asemele - "laulev", kuid
edasise arutluse jaoks ei ole sellel asendusel mingit tähtsust.
Järgnevalt jälgime järjest komplitseeritumaks muutuvaid
juhtumeid otsustuse tõeväärtuse loogilisel määratlemisel.
1. juhtum on otsustuste vastasolekutest tuletatav ja see on
loogilise ruudu juures juba käsitletud.
2. juhtum. Terminid on samad K ja L, kuid nad on paigutatud
vastupidiselt indikaatorotsustusele, näiteks, Kõik L on K.
Sellisel korral teostatakse ümberpööramine ja tulemuseks on:
Mõni K on L, ja seejärel loogilise ruudu abil tehakse kindlaks,
et selle otsustuse tõeväärtus on määramatu.
3. juhtum. Predikaat on negatiivne: Kõik K on mitte-L (ehk:
Kõik käod on mitte-laulvad). Negatiivsest terminist, kui see
asub predikaadi kohal, saab positiivne muutmise teel: Ükski K
ei ole L, sest termini kahekordne eitamine annab tulemuseks
positiivse termini: mitte+mitte-L L
annaabi.ee 
