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

Created by Mathematica  (July 30, 2005)