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

Created by Mathematica  (July 30, 2005)