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

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

Created by Mathematica  (August 7, 2005)