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

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

Created by Mathematica  (August 3, 2005)