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

Created by Mathematica  (July 30, 2005)