Ugotovi resničnostno vrednost danih stavkov, podanih v 2 svetovih.
I. Hafner: Predikatni račun, silogizmi
Če po trije zaporedni stavki tvorijo silogizem, kateri model je protiprimer?

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

Created by Mathematica  (July 30, 2005)