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

Created by Mathematica  (July 30, 2005)