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

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

Created by Mathematica  (August 7, 2005)