数理逻辑第一章命题逻辑.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 例1.38 用构造证明的方法证明以下推理的正确性。 如果小王生病，则小李和小张都要去探望。如果小李去探望小王，则小李不会去郊游。所以，如果小李去郊游了，则小王没生病。 解 首先将前提和结论符号化。 p：小王生病了。 q：小李去探望小王。 r：小张去探望小王。 s：小李去郊游了。 前提：p→q∧r, q→┐s 结论：s→┐p * 前提：p→q∧r, q→┐s 结论：s→┐p (1) s 附加前提引入 (2) ┐┐s (1)置换 (3) q→┐s 前提引入 (4) ┐q (3)(2)拒取式 (5) ┐q∨┐r (4)附加 (6) ┐(q∧r) (5)置换 (7) p→q∧r 前提引入 (8) ┐p (7)(6)拒取式 * 1. 命题与联结词 命题和联结词，命题符号化。 2. 命题公式与赋值 公式和赋值的定义，永真式、永假式、可满足式的定义，列公式的真值表，用真值表求公式的成真赋值和成假赋值，用真值表判断公式的类型。 3. 等值演算 两个公式等值的定义，常用等值式，用等值演算证明两个公式等值，用等值演算判断公式的类型、解决实际问题。 4. 联结词的全功能集 全功能集的定义。 小结 * 5. 主析取范式与主合取范式 析取范式、合取范式、主析取范式、主合取范式的定义及性质 ，用等值演算和真值表求公式的主析取范式、主合取范式。 用主析取范式、主合取范式判断公式的类型。 6. 命题逻辑的推理理论 逻辑推论的定义，判断推理的正确性，构造推理的证明。 * 判断公式的类型，判断等值式是否成立，判断逻辑推论关系是否成立。 求公式的主析取范式和主合取范式。 构造推理的证明（包括使用附加前提证明法、归谬法）。 难点: 正确地进行命题符号化，尤其是正确地使用蕴涵联结词“?”以及两个表达“或”的联结词“ ”和“ ” * 接第二章 一阶逻辑 * * * * * * * * * * * * * * * * * * * * * * * * * * * 例：用等值演算求公式(p→q)→r的主合取范式 解： (p→q)→r ? ┐(┐ p∨q) ∨r ? (p∧┐q) ∨r ? (p ∨r ) ∧ (┐q ∨ r ) ?（(p∨r)∨(q ∧┐q ))∧( (p ∧┐p) ∨ (┐q∨r)) ? (p ∨ q∨ r ) ∧ (p ∨ ┐q∨ r ) ∧ (p ∨ ┐q∨ r ) ∧ (┐p ∨ ┐q∨ r ) ? (p ∨ q∨ r ) ∧ (p ∨ ┐q∨ r )∧(┐p∨┐q∨r ) 000 010 010 110 * 例：用等值演算求公式(p→q)→r的主析取范式 解： (p→q)→r ? (p∧┐q) ∨r ?( (p∧┐q) ∧(r∨┐r))∨(r∧ (p∨┐p) ∧(q ∨┐q) ) ?(p∧┐q∧r ) ∨ (p∧┐q∧┐r ) ∨(p ∧ q∧r ) ∨ (p∧┐q∧r ) ∨(┐p ∧ q∧r ) ∨(┐p∧┐q∧r ) ?(┐p∧┐q∧r)∨(┐p∧q∧r)∨(p∧┐q∧┐r) ∨(p∧┐q∧r)∨(p∧q∧r) 101 100 111 101 011 001 * 通过(p→q)→r的主合取范式求它的主析取范式 (p→q)→r ? (p ∨ q∨ r ) ∧ (p ∨ ┐q∨ r )∧(┐p∨┐q∨r ) ┐( (p→q)→r) ? (p∨q∨ ┐ r) ∧(p∨ ┐ q∨┐r) ∧(┐ p∨q∨r) ∧(┐ p∨ q∨ ┐ r) ∧(┐ p∨┐q∨┐r) (p→q)→r ? ┐┐( (p→q)→r) ?┐((p∨q∨ ┐ r) ∧(p∨ ┐ q∨┐r) ∧(┐ p∨q∨r) ∧(┐ p∨ q∨ ┐ r) ∧(┐ p∨┐q∨┐r) ) ?(┐p∧┐q∧r)∨(┐p∧q∧r)∨(p∧┐q∧┐r)∨(p∧┐q∧r)∨(p∧q∧r) 000