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

Created by Mathematica  (July 30, 2005)