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

Created by Mathematica  (July 30, 2005)