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

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

Created by Mathematica  (August 5, 2005)