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

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

Created by Mathematica  (August 3, 2005)