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

Created by Mathematica  (July 30, 2005)