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

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

Created by Mathematica  (August 7, 2005)