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

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

Created by Mathematica  (August 7, 2005)