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

Created by Mathematica  (July 30, 2005)