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

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

Created by Mathematica  (August 7, 2005)