I. Hafner, Logika (izbirni predmet, 9. razred)
Ugotovi resničnostno vrednost danih stavkov, podanih v 2 svetovih
Test E
1. B ∉ velik ⊻ B ε bel
2. D ∉ velik ∨ C ε velik
3. D ∉ trikotnik ∧ B ∉ majhen
4. A ε kvadrat → A ∉ petkotnik
5. ¬(C ∉ velik ⊻ C ε majhen)
6. ¬(B ∉ majhen ∧ D ε bel)
7. ¬(D ∉ petkotnik ⊻ C ε trikotnik)
8. ¬(A ε petkotnik ∧ A ∉ siv)
9. ∃x(x ε majhen)
10. ∃x(x ε kvadrat)
11. ∀x(x ε bel)
12. ∀x(x ε siv)
13. ∀x(¬x ε majhen)
14. ∀x(¬x ε trikotnik)
15. ∀x(¬x ε velik)
16. ∃x(¬x ε kvadrat)
17. ¬(∀x(x ε bel))
18. ¬(∀x(x ε bel))
19. ¬(∃x(¬x ε trikotnik))
20. ¬(∀x(¬x ε petkotnik))
Created by Mathematica (August 7, 2005)