1. ss : SeparationSpace 2. x : Point 3. y : Point 4. z : Point 5. ¬x # y 6. ¬y # z 7. x # z 8. x # y ∨ z # y ⊢ False
BY { (D -1 THEN Auto) }
1 1. ss : SeparationSpace 2. x : Point 3. y : Point 4. z : Point 5. ¬x # y 6. ¬y # z 7. x # z 8. z # y ⊢ False
Latex:
Latex:
1. ss : SeparationSpace
2. x : Point
3. y : Point
4. z : Point
5. \mneg{}x \# y
6. \mneg{}y \# z
7. x \# z
8. x \# y \mvee{} z \# y
\mvdash{} False