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

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

Created by Mathematica  (August 4, 2005)