离散数学笔记（一）数理逻辑

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)
<