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

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

Created by Mathematica  (August 7, 2005)