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

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

Created by Mathematica  (August 3, 2005)