离散数学 排斥或符号化

离散数学 排斥或符号化

因为两个命题都是针对同一个人，小王不可能既在宿舍，又在图书馆，用p∨q表示也可以，但是p与q不能同时为真。最好还是用排斥性或来表示：(p∧非q)∨(非p∧q)追问还是不怎么明白为什么可以用pVq...那pVq的真值表当p、q都为1的时候是1那这个值代表什么?即在宿舍又在图书馆?这感觉说不通，(p∧非q)∨(非p∧q) 真值表也是和pVq不一样的。追答(p∧非q)∨(非p∧q) 与pVq当然不一样了，一个是排斥性或，一个是相容性或。
用pVq时来表示这个命题时，要结合这个命题的实际意义，pq不同时为1，与真正的p∨q有区别。为避免混乱，最好还是用排斥性或追问最好用排斥性或是一回事，但我说的是为什么可以用呢?个人认为明显pVq表示不了题目，难道符号化以后还要另外加上p、q不能同时为1的条件约束?那样符号化还有什么意义?而且书上还有个例子：他生于1968年或1969年，也是用pVq来表示的。追答这就是自然语言与命题语言的区别，有歧义。pq如果展开，就是p:小王现在在宿舍(不在图书馆)，q:小王现在在图书馆(不在宿舍)。表示为p∨q。
这种表示方法是有欠妥之处追问嗯，非常感谢你的回答，我是在自学，书是离散数学（第三版）清华大学出版社 耿素云、屈婉玲、张立昂 编著。我说的是书里面的例子，所以再放放看有没有更好的回答。

如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！

点此我要举报以上问答信息