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

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

Created by Mathematica  (August 7, 2005)