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

Created by Mathematica  (July 30, 2005)