"或"在自然语言和数理逻辑中的区别

在自然语言中的"或"具有二义性

1.相容性(称作相容或)

2.不相容(称作排斥或)

例：设 p 表示 "派小王去开会"，q 表示 "派小李去开会"，如何表示"派小王或小李去开会"

这个"或"表达的是排斥或，不能符号化为 p∨q，因为这里的意思是派他们两人中的一人去开会。

参考答案：

1.(p∧?q)∨(?p∧g)

2.(p∨a)∧?(p∧g)

参考文献：

[1] 耿素云, 屈婉玲, 张立昂. 离散数学.第5版[M]. 清华大学出版社, 2013. P3