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

Created by Mathematica  (July 30, 2005)