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