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

Created by Mathematica  (July 30, 2005)