I. Hafner, Logika (izbirni predmet, 7. razred)
Ugotovi resničnostno vrednost danih stavkov, podanih v 2 svetovih
Test C

1. Vsaj en majhen lik je velik lik.
2. Vsaj en majhen lik je lik srednje velikosti.
3. Vsak lik srednje velikosti  je petkotnik.
4. Vsaj en velik lik je kvadrat.
5. Vsaj en petkotnik je petkotnik.
6. Vsaj en lik srednje velikosti je kvadrat.
7. Noben bel lik ni trikotnik.
8. Noben petkotnik ni majhen lik.
9. Noben majhen lik ni velik lik.
10. Noben kvadrat ni kvadrat.
11. Vsaj en majhen lik ni majhen lik.
12. Noben petkotnik ni siv lik.
13. Ni res, da: vsak siv lik  je velik lik.
14. Ni res, da: vsak trikotnik  je velik lik.
15. Ni res, da: vsak petkotnik  je velik lik.
16. Ni res, da: vsak trikotnik  je velik lik.
17. Ni res, da: noben majhen lik ni kvadrat.
18. Ni res, da: vsaj en trikotnik ni bel lik.
19. Ni res, da: vsaj en trikotnik ni kvadrat.
20. Ni res, da: noben kvadrat ni trikotnik.

Created by Mathematica  (August 5, 2005)