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

Created by Mathematica  (July 30, 2005)