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

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

Created by Mathematica  (August 7, 2005)