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

Created by Mathematica  (July 30, 2005)