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

Created by Mathematica  (July 30, 2005)