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

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

Created by Mathematica  (August 7, 2005)