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

Created by Mathematica  (July 30, 2005)