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

Created by Mathematica  (July 30, 2005)