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

Created by Mathematica  (July 30, 2005)