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

Created by Mathematica  (July 30, 2005)