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

Created by Mathematica  (July 30, 2005)