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

Created by Mathematica  (July 30, 2005)