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

Created by Mathematica  (July 30, 2005)