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

Created by Mathematica  (July 30, 2005)