Ugotovi resničnostno vrednost danih stavkov, podanih v 2 svetovih.
I. Hafner: Predikatni račun, silogizmi
Če po trije zaporedni stavki tvorijo silogizem, kateri model je protiprimer?

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

Created by Mathematica  (July 30, 2005)