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

Created by Mathematica  (July 30, 2005)