I. Hafner, Logika (izbirni predmet, 8. razred)
Ugotovi resničnostno vrednost danih stavkov, podanih v 2 svetovih
Test G
1. Lik C ni majhen in lik D ni siv in lik D ni bel.
2. Če: lik C je majhen, če in samo če je lik D trikotnik, potem lik A ni srednje velikosti.
3. Lik D je bel ali lik B ni petkotnik ali lik A ni srednje velikosti.
4. Če: lik A ni kvadrat, če in samo če lik C ni majhen, potem je lik A bel.
5. Če: lik A je petkotnik in lik B je bel, potem lik D ni majhen.
6. Če je lik C bel, potem je lik C siv ali lik C ni bel.
7. Če: če je lik B petkotnik, potem lik A ni srednje velikosti, potem je lik A siv.
8. Lik A ni srednje velikosti in lik B ni srednje velikosti in lik B je majhen.
9. Če je lik D bel, potem je lik B petkotnik in lik C je trikotnik.
10. Če: lik B ni kvadrat in lik A ni srednje velikosti, potem lik D ni petkotnik.
11. Ali je lik C bel ali: lik A ni kvadrat, če in samo če lik D ni petkotnik.
12. Če je lik B srednje velikosti, potem: če je lik D petkotnik, potem lik D ni siv.
13. Lik B je petkotnik in: če je lik C majhen, potem je lik B siv.
14. Če je lik C petkotnik, potem: lik B ni trikotnik ali je lik D majhen.
15. Lik B je kvadrat, če in samo če: lik B ni siv in lik A je petkotnik.
16. Ali lik B ni kvadrat ali: lik B je majhen in lik C je majhen.
17. Lik B ni trikotnik, če in samo če: ali lik D ni srednje velikosti ali lik D ni trikotnik.
18. Lik B je majhen in: če je lik B kvadrat, potem je lik D bel.
19. Lik B je petkotnik in: lik C je bel, če in samo če lik A ni srednje velikosti.
20. Lik C ni majhen ali: lik C je srednje velikosti, če in samo če lik C ni kvadrat.
Created by Mathematica (August 7, 2005)