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

Created by Mathematica  (July 30, 2005)