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

Created by Mathematica  (July 30, 2005)