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

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

Created by Mathematica  (August 7, 2005)