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

Created by Mathematica  (July 30, 2005)