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

Created by Mathematica  (July 30, 2005)