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

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

Created by Mathematica  (August 7, 2005)