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

Created by Mathematica  (July 30, 2005)