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

Created by Mathematica  (July 30, 2005)