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

Created by Mathematica  (July 30, 2005)