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

Created by Mathematica  (July 30, 2005)