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

Created by Mathematica  (July 30, 2005)