第一章节 离散数学.ppt

定义（1.24）若（ A1 ∧ A2 ∧ … ∧ An ）→ B 为重言式，则称A1， A2，… An推出结论B 的推理正 确，记作（ A1 ∧ A2 ∧ … ∧ An ） ? B 或 （ A1 ，A2 ， … ， An ）? B，B 是A1， A2，… An的逻 辑结论或有效结论. 称（ A1 ∧ A2 ∧ … ∧ An ）→ B 为由前A1， A2，… An推出结论的推理的形式结构. A ? B 当且仅当 A→B 为重言式 “?”和“→”的区别和联系类似于“?”和 “?”的区别和联系： “?”不是命题联结词 “A ? B” 不是命题公式，它表示A和B之间 的推导关系. “→”是联结词，A→B 是一个公式 需要强调指出，推理正确不能保证结论一定正确，因为前提可能是错误的. 当A1， A2，… An中有为假时，（ A1 ∧ A2 ∧ … ∧ An ）→ B恒为真. 只有在推理正确且前提也正确时，才能保证结论正确. 在通常的数学证明中，前提总是正确的，因而得出的结论也正确.这是通常的数学证明和这里介绍的形式推理的区别。 例1.9 判断下面各推理是否正确 （1）如果天气凉快，小王就不去游泳. 天气凉快， 所以小王没去游泳. p：天气凉快； q：小王去游泳 前提： p → ? q ， p 结论： ? q 证明 （p → ? q） ∧ p ? ? q 是否成立 转化为判定理形式结构（p → ? q） ∧ p → ? q 是否为重言式 真值表法 p q ?q p → ? q （p → ? q） ∧ p （p → ? q）∧ p →?q 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 1 1 1 1 0 0 0 1 (p → ? q） ∧ p → ? q 为重言式，因此推理正确 等值演算法 （ p → ? q） ∧ p → ? q ?（ ? p∨? q）∧ p → ? q ?（? p ∧ p） ∨ （ ? q∧ p ）→ ? q ?（ ? q∧ p ）→ ? q ? ?（ ? q∧ p ）∨? q ? q ∨ ? p ∨? q ? 1 (p → ? q） ∧ p → ? q 为重言式，因此推理正确 主析取范式法 ( p → ? q) ∧ p → ? q ??((? p∨? q)∧ p )∨ ? q ?(p ∧ q ) ∨ ? p ∨ ? q ?(p ∧ q ) ∨ (? p ∧ 1 )∨ (1 ∧ ? q ) ?(p ∧ q ) ∨(? p ∧(q ∨ ? q ))∨ (( p ∨? p ) ∧ ? q ) ?(p ∧ q ) ∨(? p ∧ q ) ∨ (? p ∧? q ) ∨ (p ∧? q ) ∨ (? p ∧? q ) m3 ∨ m1 ∨ m0 ∨ m2 ∨ m0 m0 ∨ m1 ∨ m2 ∨ m3 ∑(0,1,2,3) (p → ? q） ∧ p → ? q 为重言式，因此推理正确 ④ 假定前件为真 （p → ? q） ∧ p → ? q 证明: 假设（p → ? q） ∧ p 为真, 则（p → ? q）为真，且 p 为真， 于是? q为真 公式为重言式，故推理正确 因此，判断推理是否正确就等价于判断 蕴涵式是否为重言式，可以用真值表法，等 值演算法，主析取范式法，本节中还要介绍 一种方法——构造证明法. 构造证明法必须在给定的规则下进行，其中有些规则建 立在推理定律（重言蕴涵式）的基础上. 8条推理定律： ⑴ A ? A ∨ B 附加 ⑵ A ∧ B ? A 化简 ⑶ ((A → B） ∧ A ) ? B 假言推理 ⑷((A → B） ∧ ? B ) ? ? A 拒取式 ⑸((A ∨ B） ∧ ? A ) ? B 析取三段论 ⑹((A → B ) ∧ (B → C） ) ? (A → C） 假言三段论 ⑺ ((A ? B ) ∧ (B ? C） ) ? (A ? C） 等价三段论 ⑻ ((A → B ) ∧ (C → D）∧ (A ∨ C ) ) ? (B∨ D )