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

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

Created by Mathematica  (August 7, 2005)