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

Created by Mathematica  (July 30, 2005)