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

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

Created by Mathematica  (August 7, 2005)