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

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

Created by Mathematica  (August 7, 2005)