【离散数学】自然语言和逻辑联结词的关系

1. 否定联结词：
   否定，非，不是

2. 合取：∧p且q，p与q
   既。。又。。
   不但。。而且
   虽然。。但是
   一边。。一边

3. 析取：∨p或q
   相容或：能同时发生
   排斥或：不能同时
   例题
   （1）假如上午不下雨，我去看电影，否则就在家里读书或看报。

这里是排斥或，要注意表示方法

设P：“上午下雨”，   Q：“我去看电影”
   R： “在家里读书”，S： “在家里看报”

则符号化为：(￢P→Q)∧(P→(￢R∧S)∨(R∧￢S))

4. 蕴含：如果p则q
   前→后：只要，因为，仅当
   后→前：除非，只有
5. 等价：p当且仅当q