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

Created by Mathematica  (July 30, 2005)