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

Created by Mathematica  (July 30, 2005)