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

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

Created by Mathematica  (August 5, 2005)