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

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

Created by Mathematica  (August 4, 2005)