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. Vsak trikotnik  je lik srednje velikosti.
2. Noben lik v srednjem delu ni trikotnik.
3. Vsak lik v srednjem delu  je lik srednje velikosti.
4. Vsaj en lik v srednjem delu ni majhen lik.
5. Noben lik v zgornjem delu ni majhen lik.
6. Vsak lik v zgornjem delu  je lik v srednjem delu.
7. Vsaj en lik v zgornjem delu je bel lik.
8. Vsaj en lik v zgornjem delu je trikotnik.
9. Vsak trikotnik  je bel lik.
10. Vsaj en lik v zgornjem delu ni trikotnik.
11. Vsaj en trikotnik ni lik v srednjem delu.
12. Vsak lik v srednjem delu  je lik v zgornjem delu.
13. Noben kvadrat ni lik na levi strani.
14. Vsaj en lik v srednjem delu ni kvadrat.
15. Vsaj en lik v srednjem delu je lik na levi strani.
16. Vsaj en lik v srednjem delu ni trikotnik.
17. Vsak bel lik  je trikotnik.
18. Vsaj en bel lik je lik v srednjem delu.
19. Vsaj en trikotnik ni lik v srednjem delu.
20. Vsak trikotnik  je lik v zgornjem delu.
21. Noben lik v zgornjem delu ni lik v srednjem delu.

Created by Mathematica  (July 30, 2005)