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

否定联结词：

否定，非，不是

合取：∧p且q，p与q

既。。又。。

不但。。而且

虽然。。但是

一边。。一边

析取：∨p或q

相容或：能同时发生

排斥或：不能同时

例题

（1）假如上午不下雨，我去看电影，否则就在家里读书或看报。

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

设P：“上午下雨”， Q：“我去看电影”

R： “在家里读书”，S： “在家里看报”

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

蕴含：如果p则q

前→后：只要，因为，仅当

后→前：除非，只有等价：p当且仅当q