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

Created by Mathematica  (July 30, 2005)