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

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

Created by Mathematica  (August 7, 2005)