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

Created by Mathematica  (July 30, 2005)