What are the semantics of “otherwise”? Are they more like:
X otherwise Y ↦ X → ¬Y, or
X otherwise Y
X otherwise Y ↦ X ↔ ¬Y
What are the semantics of “otherwise”? Are they more like:
X otherwise Y↦ X → ¬Y, orX otherwise Y↦ X ↔ ¬Y