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

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

Created by Mathematica  (August 7, 2005)