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

Created by Mathematica  (July 30, 2005)