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

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

Created by Mathematica  (August 7, 2005)