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

Created by Mathematica  (July 30, 2005)