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

Created by Mathematica  (July 30, 2005)