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

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

Created by Mathematica  (August 7, 2005)