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

Created by Mathematica  (July 30, 2005)