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