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

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

Created by Mathematica  (August 7, 2005)