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

Created by Mathematica  (July 30, 2005)