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

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

Created by Mathematica  (August 7, 2005)