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

Created by Mathematica  (July 30, 2005)