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

Created by Mathematica  (July 30, 2005)