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

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

Created by Mathematica  (August 7, 2005)