离散数学中的相容或与不可兼或的区别

众所周知，离散数学是一门玄学，能够掌握的人都是大佬。
虽然我不是大佬，但是我遇到了一位非常牛逼的老师。

今天我们来聊一聊

例1：将下列命题符号化：
(1)张晓静爱唱歌或爱听音乐.
(2)张晓静只能挑选202或203房间.
(3)张晓静是江西人或安微人.

解：先给出原子命题,并将其符号化,然后再将整个(复合)命题符号化.
(1)p:张晓静爱唱歌.
q:张晓静爱听音乐.
显然这个“或”为相容或,即当p与q同时为真时,这个命题为真.符号化为pVq.

(2) r:张晓静挑选202房间.
s:张晓静挑选203房间.

由题意可知,这个“或”应为排斥或r,s的取值有4种可能:同真,同假,一真一假(两种).
如果符号化为rVs,则当r和s都为真时为真,这意味着张晓静可能同时得到202和203两个房间，
这不符合原意.原意是张晓静只能挑选202和203中的一间.如何达到只能挑选一个房间的要求
呢?可以使用多个联结词,符号化为(r∧¬s) V(¬r∧s).不难验证,此复合命题为真当且仅当
r,s中一个为真,一个为假,它准确地表达了原意.当r为真s为假时, 张晓静得到202房间;当r
为假s为真时,张晓静得到203房间,其他情况下,都是不允许的.

(3) t:张晓静是江西人.
u:张晓静是安徽人.

这个“或”也应为排斥或.和上面一样,可以形式化为(¬t∧u) V(t∧¬u).但是,在这里张
晓静不可能既是江西人又是安徽人,即t与u实际上不能同时为真,因而也可以符号化为tVu.

再来看一道例题：
设p:王冬生于1971年,q:王冬生于1972年，说明命题“王冬生于1971 年或1972年”既可以符号化为“(p∧¬q)V(¬p∧q)",又可以符号化为“pVq"的理由.

解：由题意可知，王冬应该是个人，所以他应该具备人的特性，只能在某一个时刻出生，即题意已经表明了有个命题为假了（相当于p，q两个命题不存在同时为真的情况），故我们用两种符号表达均可。

如果还存在疑惑，可以私信我哦！😋