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

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

Created by Mathematica  (August 4, 2005)