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

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

Created by Mathematica  (August 7, 2005)