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

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

Created by Mathematica  (August 7, 2005)