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

Created by Mathematica  (July 30, 2005)