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

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

Created by Mathematica  (August 7, 2005)