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

Created by Mathematica  (July 30, 2005)