OTSUSTUSÕPETUS 3.1. - 3.7.
ei ole L, sest termini kahekordne eitamine annab tulemuseks
positiivse termini: mitte+mitte-L L. Loogiliselt ruudult on
näha, et arutluseks oleva otsustuse tõeväärtus on määramatu.
4. juhtum. Negatiivne predikaat on subjektiks: Kõik mitte-L on
K (ehk: Kõik mitte-laulvad on käod). Otsustus tuleb ümber
pöörata ja selle tulemuseks on: Mõni K on mitte-L, seejärel
muudetakse ja saadakse: Mõni K ei ole L, mille kohta on teada
indikaatorotsustuse tõeväärtusena, et see kehtib.
5. juhtum. Otsustuse subjekt on negatiivne ja paikneb
predikaadi kohal: Kõik L on mitte-K (ehk: Kõik laulvad on
mitte-käod). Muutmise teel saab negatiivne subjekt
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
annaabi.ee 
