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

Created by Mathematica  (July 30, 2005)