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

Created by Mathematica  (July 30, 2005)