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

Created by Mathematica  (July 30, 2005)