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

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

Created by Mathematica  (August 7, 2005)