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

Created by Mathematica  (July 30, 2005)