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

Created by Mathematica  (July 30, 2005)