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

Created by Mathematica  (July 30, 2005)