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

Created by Mathematica  (July 30, 2005)