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

Created by Mathematica  (July 30, 2005)