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

Created by Mathematica  (July 30, 2005)