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

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

Created by Mathematica  (July 30, 2005)