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

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

Created by Mathematica  (August 7, 2005)