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

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

Created by Mathematica  (August 7, 2005)