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

1. Lik C je majhen in lik D je velik.
2. Če lik B ni srednje velikosti, potem lik D ni velik.
3. Lik C je siv, če in  samo če lik B ni srednje velikosti.
4. Lik B je bel in lik C je kvadrat.
5. Lik B je bel in lik C je bel.
6. Lik D je srednje velikosti in lik B ni majhen.
7. Lik A ni petkotnik in lik D ni kvadrat.
8. Lik A je majhen ali  je lik C velik.
9. Ali  je lik D trikotnik ali  je lik C siv.
10. Če lik D ni kvadrat, potem  je lik B siv.
11. Ni res, da: lik B ni bel in lik D je siv.
12. Ni res, da: lik A je bel ali  je lik A velik.
13. Ni res, da: lik B ni majhen, če in  samo če lik A ni kvadrat.
14. Ni res, da: če lik B ni kvadrat, potem  je lik B majhen.
15. Ni res, da: če  je lik A kvadrat, potem lik D ni velik.
16. Ni res, da: ali lik A ni petkotnik ali  je lik A kvadrat.
17. Ni res, da: lik C je majhen in lik C ni kvadrat.
18. Ni res, da: lik A je siv in lik D je velik.
19. Ni res, da: lik A ni petkotnik, če in  samo če  je lik C trikotnik.
20. Ni res, da: če  je lik B majhen, potem  je lik A petkotnik.

Created by Mathematica  (August 4, 2005)