I. Hafner, Logika (izbirni predmet, 9. razred)
Ugotovi resničnostno vrednost danih stavkov, podanih v 2 svetovih
Test E
1. C ε majhen ⊻ A ∉ bel
2. D ∉ kvadrat ⊻ D ε siv
3. A ε srednje velikosti ∧ A ∉ kvadrat
4. B ∉ siv ∨ B ∉ siv
5. ¬(B ∉ petkotnik ↔ A ∉ trikotnik)
6. ¬(A ∉ velik ⊻ C ∉ bel)
7. ¬(D ∉ kvadrat ∧ A ∉ velik)
8. ¬(D ε siv ∧ B ε srednje velikosti)
9. ∀x(x ε majhen)
10. ∃x(x ε kvadrat)
11. ∀x(x ε velik)
12. ∀x(x ε srednje velikosti)
13. ∀x(¬x ε petkotnik)
14. ∃x(¬x ε trikotnik)
15. ∃x(¬x ε trikotnik)
16. ∃x(¬x ε kvadrat)
17. ¬(∃x(x ε siv))
18. ¬(∀x(x ε majhen))
19. ¬(∀x(¬x ε trikotnik))
20. ¬(∀x(¬x ε kvadrat))
Created by Mathematica (August 7, 2005)