Ugotovi resničnostno vrednost danih stavkov, podanih v 2 svetovih.
Predikatni račun, silogizmi: Če po trije zaporedni stavki tvorijo silogizem, kateri model je protiprimer?

1. Vsak lik v srednjem delu  je petkotnik.
2. Noben lik v zgornjem delu ni lik v srednjem delu.
3. Vsak lik v zgornjem delu  je petkotnik.
4. Vsak petkotnik  je majhen lik.
5. Vsaj en bel lik je majhen lik.
6. Vsaj en bel lik ni petkotnik.
7. Vsaj en lik srednje velikosti ni kvadrat.
8. Vsaj en lik srednje velikosti ni lik v srednjem delu.
9. Vsaj en lik v srednjem delu ni kvadrat.
10. Vsaj en lik v zgornjem delu ni lik v srednjem delu.
11. Vsak lik v srednjem delu  je siv lik.
12. Vsak siv lik  je lik v zgornjem delu.
13. Vsaj en lik v zgornjem delu ni siv lik.
14. Vsak lik v srednjem delu  je lik v zgornjem delu.
15. Vsak lik v srednjem delu  je siv lik.
16. Vsak velik lik  je lik v srednjem delu.
17. Vsaj en lik v zgornjem delu je lik v srednjem delu.
18. Noben lik v zgornjem delu ni velik lik.
19. Noben lik v srednjem delu ni velik lik.
20. Noben lik v srednjem delu ni bel lik.
21. Vsaj en bel lik je velik lik.

Created by Mathematica  (July 30, 2005)