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

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

Created by Mathematica  (August 7, 2005)