命题逻辑与证明
- 真值表的行数
- 2ⁿ
- 蕴涵
- p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
- 蕴涵的否定
- ¬(p → q) ≡ p ∧ ¬q
- 双条件
- p ↔ q ≡ (p → q) ∧ (q → p)
- 德摩根律
- ¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
- 分配律
- p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
- 量词的否定
- ¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
- 肯定前件,否定后件
- p → q, p ⊢ q; p → q, ¬q ⊢ ¬p
方法
- 数一数不同变量的个数:真值表有 2ⁿ 行,从全为 1 的一行开始。
- 给每个子公式单独一列,由内向外逐列填写。
- 按各联结词的规则计算:→ 只有在 1 → 0 时为 0,↔ 在两边相同时为 1。
- 判断等价时,逐行比较最后一列;判断论证时,只看所有前提都为 1 的那些行。
- 否定带量词的命题时,把 ¬ 移到内部,交换 ∀ 和 ∃,并否定内部的公式。