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

Created by Mathematica  (July 30, 2005)