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

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

Created by Mathematica  (August 7, 2005)