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

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

Created by Mathematica  (August 7, 2005)