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

Created by Mathematica  (July 30, 2005)