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

Created by Mathematica  (July 30, 2005)