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

Created by Mathematica  (July 30, 2005)