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

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

Created by Mathematica  (August 7, 2005)