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

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

Created by Mathematica  (August 7, 2005)