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

Created by Mathematica  (July 30, 2005)