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

Created by Mathematica  (July 30, 2005)