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

Created by Mathematica  (July 30, 2005)