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

Created by Mathematica  (July 30, 2005)