第一章 离散数.pptVIP

定义（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）