Kehtiv ja kehtetu otsustus
kõik S on P siis muutes ükski S ei ole mitteP ükski mitteP ei ole S
E S e P S a P- P-; S
S ei ole P kõik S ei ole mitteP mõni mitteP on S
O S P S; P- P- ; S;
Mõni S ei ole P mõni S on mitteP mõni mitteP on S
I S; P S e P- ??
Mõni S on P mõni S ei ole mitteP ??
Mõni koer on valge kehtib I+E-A? O? Indikaatorotsustus
Ükski valge ei ole koer ei kehti
ÜP. Ükski koer ei ole valge
Kõik koerad on mittevalged
n. ükski koer ei ole valge. ei kehti
kõik ebavalged on mittekoerad. määramatu
M. ükski ebavalge ei ole koer
ÜP. Ükski koer ei ole ebavalge
M. kõik koerad on valged.
Mõni sinine ei ole siil (mittekoer)
M. mõni sinine on koer
ÜP. Mõni koer on sinine (mittevalge)
M. mõni koer on ei ole valge määramatu
Mõni koer on valge ei kehti
Ükski kass (mittekoer) ei ole punane (mittevalge) --- määramatu
1.Muudame: Kõik kassid on valged.
2.püürame ümber: mõni valge on kass (ei ole koer)
3.muudame: mõni valge ei ole koer
4.ümber pööramine: ?
annaabi.ee 
