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

Created by Mathematica  (July 30, 2005)