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

Created by Mathematica  (July 30, 2005)