Ugotovi resničnostno vrednost danih stavkov, podanih v 2 svetovih.
I. Hafner: Predikatni račun, silogizmi
Če po trije zaporedni stavki tvorijo silogizem, kateri model je protiprimer?

1. Vsaj en lik v zgornjem delu ni lik v srednjem delu.
2. Vsak kvadrat  je lik v zgornjem delu.
3. Noben kvadrat ni lik v srednjem delu.
4. Vsaj en lik na levi strani ni lik v srednjem delu.
5. Vsaj en lik v zgornjem delu je lik v srednjem delu.
6. Vsak lik v zgornjem delu  je lik na levi strani.
7. Noben petkotnik ni bel lik.
8. Vsaj en petkotnik je lik v srednjem delu.
9. Vsaj en lik v srednjem delu ni bel lik.
10. Vsak lik na levi strani  je lik v srednjem delu.
11. Vsak lik v srednjem delu  je velik lik.
12. Noben velik lik ni lik na levi strani.
13. Vsaj en lik na levi strani ni trikotnik.
14. Vsak lik v srednjem delu  je lik na levi strani.
15. Vsaj en lik v srednjem delu je trikotnik.
16. Vsaj en bel lik ni kvadrat.
17. Noben lik v srednjem delu ni kvadrat.
18. Vsaj en lik v srednjem delu ni bel lik.
19. Vsaj en lik v zgornjem delu je lik srednje velikosti.
20. Vsak lik v zgornjem delu  je lik na levi strani.
21. Vsak lik na levi strani  je lik srednje velikosti.

Created by Mathematica  (July 30, 2005)