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

Created by Mathematica  (July 30, 2005)