OTSUSTUSÕPETUS 3.1. - 3.7.
töökindla skeemina, milleks ongi loogiline ruut. Seega,
loogiline ruut on otsustuste vastasolekuid võrdlev unifitseeritud
skeem.
A E
I O
Joonis 11.
Kui on teada või kokkuleppeliselt fikseeritud ühe
otsustuse tõeväärtus, siis ülejäänud kolme otsustuse tõeväärtus
on määratud (kui ei ole tegu määramatuga) kindlatest
vastasolekutest, mida ongi võimalik demonstreerida loogilise
ruudu abil. Nende reeglipäraste seoste juures esineb üksainus
kõrvalekalle - vastupidiste otsustuste ühe mittekehtivuse korral
jääb teine määramatuks. Määramatus tähendab seda, et loogika
vahenditega (reeglid, vorminõuded) ei ole võimalik kindlaks
teha otsustuse kehtivust või mittekehtivust. Näiteks, üldjaatava
otsustuse mittekehtivuse korral ei ole võimalik üldeitava
otsustuse tõeväärtust kindlaks määrata ja sellisel juhul
annaabi.ee 
