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

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

Created by Mathematica  (August 7, 2005)