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

Created by Mathematica  (July 30, 2005)