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

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

Created by Mathematica  (August 7, 2005)