离散数学·数理逻辑（一）

命题逻辑基础定义

---

原子命题

• 命题：真值确定的陈述句
  • 真命题：真值为真的命题
  • 假命题：真值为假的命题
• 简单命题：无法再分的命题
• 逻辑联结词：{¬, ∧, ∨, ->, <->}
• 复合命题：简单命题通过逻辑联结词联结而成的命题
• 定义1.1 命题p的否定式为复合命题非p，记作¬p
  • p为真，当且仅当¬p为假
  • ¬为否定联结词
  • ¬p：非p

p	¬p
1	0
0	1

• 定义1.2 p、q为命题，复合命题p并且q称为p与q的合取式，记作p∧q
  • p∧q为真，当且仅的p与q同时为真
  • ∧为合取联结词
  • p∧q：即p又q、不但p而且q、虽然p但是q、一面p一面q

p	q	p∧q
0	0	0
0	1	0
1	0	0
1	1	1

• 定义1.3 p、q为命题，复合命题p或q称为p与q的析取式，记作p∨q
  • p∨q为假，当且仅的p与q同时为假
    • 排斥或：合取式为真，并且p、q不能同时为真
    • 相容或：合取式为真，并且p、q可以同时为真
  • ∨为析取联结词
  • p∨q：p或q

p	q	p∨q
0	0	0
0	1	1
1	0	1
1	1	1

• 定义1.4 p、q为命题，复合命题如果p，则q称为p与q的蕴含式，记作p->q
  • p->q为假，当且仅的p为真q为假
  • ->为蕴含联结词
  • p是蕴含式的前件，q是蕴含式的后件
  • 前件如果为假，无论后件真值如何，蕴含式都为真
  • 前件与后件不存在内在关联，蕴含式只表达p与q的取值关系
  • p->q表示q是p的必要条件，意思是q不成立（为假）p必然不成立（为假）；q成立（为真），p不一定为真（可真可假）。意味着q为假p为假则p->q为真；q为假，p为真或为假则p->q为真
  • p->q：只要p就q、因为p所以q、p仅当q、只有q才p、除非q才p、除非q否则非p

p	q	p->q
0	0	1
0	1	1
1	0	0
1	1	1

• 定义1.5 p、q为命题，复合命题p当且仅的q称为p与q的等价式，记作p<->q
  • p<->q为真当且仅的p与q同时为真或同时为假
  • <->为等价联结词
  • p与q逻辑上互为充分必要条件
  • p<->q：p当且仅的q、p的充要条件是q、p与q互为充要、若p则q反之亦然

p	q	p<->q
0	0	1
0	1	0
1	0	0
1	1	1

• 真值表

p	q	¬p	p∧q	p∨q	p->q	p<->q
0	0	1	0	0	1	1
0	1	1	0	1	1	0
1	0	0	0	1	0	0
1	1	0	1	1	1	1

---

命题公式

• 命题常项：真值确定的原子命题
• 命题变项：真值不确定的命题符号，如p；当将带有命题变项的公式中的命题变项解释成命题常项时，此时公式就成了真值确定的命题
• 定义1.6 合式公式（命题公式、命题形式、公式）
  • 单个命题变项和命题常项是合式公式，称为原子命题公式
  • 若A是合式公式，则(¬A)是合式公式
  • 若A,B是合式公式，则(A∧B)、(A∨B)、(A->B)、(A<->B)是合式公式
  • 有限次应用上述三条形成的符号串是合式公式
  • 子公式：设A是合式公式，B是A中的一部分，若B是合式公式，则称B是A的子公式
  • 元语言符号：描述任意合式公式的符号，如A、B
  • 对象语言符号：描述具体公式的符号，如(p->q)
• 定义1.7 公式层次
  • 若A 是单个的命题变项，称A为0层公式
  • 称A是n+1（N≥0）层公式，有一下几种情况
    • A = ¬B，B是n层公式
    • A = B ∧ C，其中B、C是i、j层公式，且n = max(i,j)
    • A = B ∨ C，同上
    • A = B -> C，同上
    • A = B <-> C，同上
  • 若A的层次为k层，则称A是k层公式
• 定义1.8 对公式赋值（解释）
  • p₁，p₂，……，p_n是公式A中出现的全部命题变项，给p₁，p₂，……，p_n各指定一个真值，则称对A的一个赋值（解释）
  • A的成真赋值：指定一组值，使A为1
  • A的成假赋值：指定一组值，使A为0
  • 含n（n≥1）个命题变项的公式共有2ⁿ个不同的赋值
• 定义1.9 真值表
  • 公式A所有赋值下取值情况列成表，称为真值表
  • 构造流程
    1. 找出公式中全部命题变项p₁，p₂，……，p_n，并列出全部2ⁿ个赋值，从00…0到11…1
    2. 按照从低到高列出公式各个层次
    3. 针对对应公式赋值，填写公式各个层次真值
• 命题公式分类
  • 重言式（tautology）（永真式）：命题公式A的赋值均为真
  • 矛盾式（contradictory formula）（永假式）：命题公式A的赋值均为假
  • 可满足式（satisfiable）：命题公式A不是矛盾式
    • 为重言式的可满足式
    • 为非重言式的可满足式：存在真值为假的赋值
  • 哑元：设公式A、B中共含有命题变项p₁，p₂，……，p_n，如A中不含有p_i，p₂，……，p_n（i≥2），则称p_i，p₂，……，p_n（i≥2）是A的哑元
• 已证明结论
  • 结论1 设A、B都是含有命题变项p₁，p₂，……，p_n的命题公式，A∧B为重言式，当且仅当A、B均为重言式
  • 结论2 设A、B都是含有命题变项p₁，p₂，……，p_n的命题公式，A∨B为矛盾式，当且仅当A、B均为矛盾式