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

Created by Mathematica  (July 30, 2005)