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

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

Created by Mathematica  (August 7, 2005)