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

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

Created by Mathematica  (August 7, 2005)