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

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

Created by Mathematica  (August 7, 2005)