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

Created by Mathematica  (July 30, 2005)