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

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

Created by Mathematica  (August 7, 2005)