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

Created by Mathematica  (July 30, 2005)