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

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

Created by Mathematica  (August 7, 2005)