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

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

Created by Mathematica  (August 3, 2005)