1、什么是命题
命题是表达判断的陈述句
- 原子命题(简单命题)
不能再分解成更简单陈述句的命题 - 复合命题(分子命题)
由若干个连结词、标点符号及原子命题复合构成的命题
2、命题公式
命题常项:命题的真值
常值命题:具体命题
命题变元:用大写字母表示的任一命题
(1)单个命题变元、常值命题及命题常项是合式公式
(2)若A是合式公式,则﹁A是合式公式
(3)若A和B是合式公式,则(A∧B),(A∨B),(A→B),(A↔B)都是合式公式
(4)当且仅当有限次地应用(1)(2)(3)所得到的符号串是合式公式。
⑴对合律 ﹁﹁P<=>P
⑵幂等律 P∨P<=>P、 P∧P<=>P
⑶交换律 P∧Q<=>Q∧P、P∨Q<=>Q∨P
⑷结合律 P∨(Q∨R)<=>(P∨Q)∨R
P∧(Q∧R)<=>(P∧Q)∧R
⑸分配律 P∨(Q∧R)<=>(P∨Q)∧(P∨R)
P∧(Q∨R)<=>(P∧Q)∨(P∧R)
⑹吸收率 P∨(P∧Q)<=>P、P∧(P∨Q)<=>P
⑺ 德·摩根定律 ﹁(P∨Q)<=>﹁P∧﹁Q
﹁(P∧Q)<=>﹁P∨﹁Q
⑻同一律 P∨F<=>P、P∧T<=>P
⑼零律 P∨T<=>T、P∧F<=>F
⑽互补律 P∨﹁P<=>T、P∧﹁P<=>F
⑾ P→Q<=>﹁P∨Q
⑿ P→Q<=>﹁Q→﹁P
⒀ P↔Q<=>(P→Q)∧( Q→P)
⒁