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

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

Created by Mathematica  (August 7, 2005)