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

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

Created by Mathematica  (August 5, 2005)