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

Created by Mathematica  (July 30, 2005)