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

Created by Mathematica  (July 30, 2005)