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

Created by Mathematica  (July 30, 2005)