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

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

Created by Mathematica  (August 3, 2005)