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

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

Created by Mathematica  (August 3, 2005)