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

Created by Mathematica  (July 30, 2005)