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

Created by Mathematica  (July 30, 2005)