【去香山，否则去北海】=【或去香山，或去北海】。是相容或，不是【不相容或】。

相容或，必不相容或，前者更宽泛。即，可以去一个地方，也可以逐个去二个地方。

或者是这样的

如果明天天晴，那么我们就去香山看红叶，否则，就去北海划船。
****************************************************************************
如果明天天晴，那么我们就去香山看红叶，或者去北海划船。
否则 表达的有点莫名其妙！？

(p→q)Ⅴ（～p→r）

否定联结词，很容易产生歧义。
实质蕴涵联结词，只有一个时，没有歧义。但是，有二个时，会有歧义。所以，在逻辑符号里，必须使用括号。

P 明天天晴 q 我们就去香山看红叶，r 就去北海划船。
q 异或r
汉语： 如果明天天晴，那么我们不去香山看红叶，就去北海划船。

【如果明天天晴，那么我们就去香山看红叶。否则，就去北海划船。】
=【如果明天天晴，那么我们就去香山看红叶。如果明天天不晴，就去北海划船。】
=【若甲则乙，和，若非甲则丙。】
=【(p→q)∩（～p→r）】。

【甲，否则乙】的语言分析
http://tieba.baidu.com/p/5330840664

【如果明天天晴，那么我们就去香山看红叶。否则，就去北海划船。】
原样 保留这个【否则】
P 明天天晴
q 我们就去香山看红叶，
r 就去北海划船。
(p→q)Ⅴ (～(p→q)->r)
否则 有 要不然之意 他还有推翻 前面意思

否则
若不这样 则
否则 前面 有一个 若 则 【如果明天天晴，那么我们就去香山看红叶】 这是一个命题
否则 对这命题否定后【如果明天天晴，那么我们不去香山看红叶】 则 去北海划船。
故有
(p→q)Ⅴ (～(p→q)->r)
对命题的否定 只否定结论 所以 仍为晴天
用 V 连接 或者
1 如果明天天晴，那么我们就去香山看红叶
2如果明天天晴 那么我们去北海划船。

自然语言有很大的歧义，首先要解释清 否则 究竟是否了哪里。

原题目：如果明天天晴，那么我们就去香山看红叶，否则，就去北海划船。
假设：p：明天天晴。q：我们就去香山看红叶。r：我们就去北海划船。
复合命题的符号翻译：
1.(p→q)∩（～p→r）。
2.(p→q)Ⅴ（～p→r）。
3.(p→q)Ⅴ (～(p→q)→r)。
4.p→（qⅤr）。
5.p→（q≠r）。（≠为不相容析取）。

【否则】的【否】字，可能有三种否定。
1.否定：p。即（～p→r）。
2.否定：(p→q)。即(～(p→q)→r)。
3.否定：q。即（qⅤr）=（~q→r)。