离散数学 --- 命题逻辑 -- 命题符号化与命题公式

第一部分 --- 命题符号化及其应用

 1.等价连接词中，P，Q同为真同为假时为真，真假不同时为假

下面是各个联结词的真值表

 复合命题的真值只取决于通过联结词构成他的简单命题的真值，与简单命题的内容无关

比如：中国在地球上且太阳东升西落，这是一个复合命题，它的两个简单命题的内容八竿子打不着，但是他们的真值都为真所以组成的复合命题也为真

1.多个联结词出现在一个命题中时，联结词的真值判断也是要分顺序的：具体顺序如上

2.加括号的联结词可以直接无视上面的规则，优先第一个执行，多个括号出现的时候执行顺序是从左向右执行

 

---

第二部分 --- 命题公式和真值表