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

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

Created by Mathematica  (August 5, 2005)