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