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

Created by Mathematica  (July 30, 2005)