OTSUSTUSÕPETUS 3.1. - 3.7.
positiivseks: Ükski L ei ole K, ja seejärel ümberpöörates saab:
Ükski K ei ole L. Loogilise ruudu abil tuvastatakse, et otsustus
on määramatu.
6. juhtum. Otsustuse subjekt on negatiivne: Kõik mitte-K on L
(ehk: Kõik mitte-käod on laulvad). Arutlus tõeväärtuse
määratlemisest algab ümberpööramisega ja selle tulemuseks
on: Mõni L on mitte-K. Selle muutmise tagajärjel otsustus on:
Mõni L ei ole K. Saadud otsustust on vaja ümber pöörata, et
selle struktuur oleks võrreldav indikaatorotsustusega, s.t.
subjekt ja predikaat peavad paiknema analoogiliselt
16
Ilmar Lilleorg
Loogika vihik
2006
lähteotsustusega. Kuna tegemist on osaeitava otsustusega, mis
ei ole ümberpööratav, siis jääb arutlus tõeväärtuse
annaabi.ee 
