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

Created by Mathematica  (August 5, 2005)