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

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

Created by Mathematica  (August 7, 2005)