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

Created by Mathematica  (July 30, 2005)