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

Created by Mathematica  (July 30, 2005)