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

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

Created by Mathematica  (August 7, 2005)