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

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

Created by Mathematica  (August 3, 2005)