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

Created by Mathematica  (July 30, 2005)