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

1. D ε majhen ∨ B ε kvadrat
2. B ∉ siv → D ε velik
3. A ∉ majhen ∨ A ε bel
4. A ε siv ↔ A ε majhen
5. ¬(B ε srednje velikosti ∨ D ε siv)
6. ¬(D ∉ siv → C ε petkotnik)
7. ¬(A ε srednje velikosti → D ∉ srednje velikosti)
8. ¬(B ε petkotnik ∧ A ∉ siv)
9. ∃x(x ε majhen)
10. ∀x(x ε bel)
11. ∃x(x ε bel)
12. ∃x(x ε majhen)
13. ∀x(¬x ε siv)
14. ∃x(¬x ε siv)
15. ∀x(¬x ε petkotnik)
16. ∀x(¬x ε petkotnik)
17. ¬(∃x(x ε srednje velikosti))
18. ¬(∃x(x ε majhen))
19. ¬(∃x(¬x ε majhen))
20. ¬(∃x(¬x ε kvadrat))

Created by Mathematica  (August 7, 2005)