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

Created by Mathematica  (July 30, 2005)