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

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

Created by Mathematica  (August 5, 2005)