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

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

Created by Mathematica  (August 7, 2005)