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

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

Created by Mathematica  (August 7, 2005)