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

Created by Mathematica  (July 30, 2005)