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

Created by Mathematica  (July 30, 2005)