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

Created by Mathematica  (July 30, 2005)