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

Created by Mathematica  (July 30, 2005)