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

Created by Mathematica  (July 30, 2005)