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

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

Created by Mathematica  (August 7, 2005)