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