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

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

Created by Mathematica  (August 5, 2005)