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

Created by Mathematica  (July 30, 2005)