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

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

Created by Mathematica  (August 7, 2005)