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

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

Created by Mathematica  (August 7, 2005)