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

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

Created by Mathematica  (August 7, 2005)