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

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

Created by Mathematica  (August 5, 2005)