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

Created by Mathematica  (July 30, 2005)