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

Created by Mathematica  (July 30, 2005)