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

Created by Mathematica  (July 30, 2005)