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

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

Created by Mathematica  (August 7, 2005)