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

Created by Mathematica  (July 30, 2005)