I. Hafner, Logika (izbirni predmet, 7. razred)
Ugotovi resničnostno vrednost danih stavkov, podanih v 2 svetovih
Test F
1. Če je lik A kvadrat, potem je lik B majhen.
2. Lik A je majhen in lik A je bel.
3. Lik C je srednje velikosti ali lik A ni kvadrat.
4. Lik D ni srednje velikosti, če in samo če lik A ni majhen.
5. Lik A ni velik, če in samo če lik C ni siv.
6. Ali lik B ni majhen ali lik A ni siv.
7. Lik C ni kvadrat in lik C ni siv.
8. Ali je lik D kvadrat ali je lik B majhen.
9. Ali lik D ni petkotnik ali je lik B srednje velikosti.
10. Lik A je kvadrat ali je lik B kvadrat.
11. Če je lik A siv, potem je lik C kvadrat.
12. Lik C ni bel in lik C je kvadrat.
13. Lik A ni srednje velikosti ali lik A ni majhen.
14. Če je lik C srednje velikosti, potem je lik B bel.
15. Lik B je srednje velikosti in lik B ni siv.
16. Lik C je bel, če in samo če lik A ni velik.
17. Ali je lik A petkotnik ali lik C ni majhen.
18. Lik D ni majhen in lik A je velik.
19. Lik C ni siv, če in samo če lik C ni velik.
20. Če je lik A kvadrat, potem je lik C majhen.
Created by Mathematica (August 4, 2005)