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

Created by Mathematica  (July 30, 2005)