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

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

Created by Mathematica  (August 7, 2005)