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

Created by Mathematica  (July 30, 2005)