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

Created by Mathematica  (July 30, 2005)