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

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

Created by Mathematica  (August 7, 2005)