离散数学 --- 命题逻辑 -- 命题符号化与命题公式
第一部分 --- 命题符号化及其应用
1.等价连接词中，P，Q同为真同为假时为真，真假不同时为假
下面是各个联结词的真值表
复合命题的真值只取决于通过联结词构成他的简单命题的真值，与简单命题的内容无关
比如：中国在地球上且太阳东升西落，这是一个复合命题，它的两个简单命题的内容八竿子打不着，但是他们的真值都为真所以组成的复合命题也为真
1.多个联结词出现在一个命题中时，联结词的真值判断也是要分顺序的：具体顺序如上
2.加括号的联结词可以直接无视上面的规则，优先第一个执行，多个括号出现的时候执行顺序是从左向右执行
第二部分 --- 命题公式和真值表
一个能够直接确定真值的命题称为常值命题 
1.先写命题变元；2.从左往右写出每一步的命题判断结果；3.写出最终结果
第三部分 --- 命题公式的分类和等价
真值表中有真的命题公式就是可满足公式
公式可以分类为1.永真公式（重言式，永真公式同时也是可满足公式）；2.永假公式（不可满足公式）；3.可满足公式（真值表中有真即可）
1.注意等价联结词和等价符号之间的差别：
等价联结词是用来对其左值和右值进行计算的符号，等价联结词的计算结果为0/1 -- false/true
而等价符号则是用来表示其左值和右值之间的逻辑等价关系的符号
1.如果要证明两个命题是逻辑等价关系的话，我们只需要将这两个命题分别作为等价运算符的左值和右值，然后进行计算，如这个等价命题公式为永真公式，两个命题为逻辑等价关系，否则不是
第四部分 --- 基本等价关系及其应用
1.利用上面这些基本等价关系来判断命题公式的第一步是：消去命题中的蕴含联结词
2.关于吸收律的补充 --- 只要括号外有命题P，括号内也有相同的命题P，且括号内外的命题运算符为析取合取反着来，那么这个这个式子就满足吸收律，比如下图这个式子依然满足吸收律
