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

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

Created by Mathematica  (August 5, 2005)