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

Created by Mathematica  (July 30, 2005)