命题演算(推理理论).pptVIP

****************第四讲命题逻辑的推理理论命题逻辑的推理理论也称为命题演算主要内容一、推理的形式结构二、推理定律和推理规则三、逻辑证明方法引言*数理逻辑的推理理论主要研究推理的“思维过程”，为推理提供一定的推理规则。它只关心从前提得到结论这种推理的正确有效性。无论前提是否真得正确，它总是假设其是成立的。所以推理的正确性和结论的正确性可能是不一致的。推理理论在应用上常常是将一些定理，定律，公理和条件作为前提，通过推理得到新的定理。一、推理的形式结构*定义1设A1,A2,…,Ak,B为命题公式.若对于每组赋值，A1?A2?…?Ak为假，或当A1?A2?…?Ak为真时，B也为真，则称由前提A1,A2,…,Ak推出结论B的推理是有效的或正确的,并称B是有效结论或称B可由A1,A2,…,Ak逻辑推出.1定理1由命题公式A1,A2,…,Ak推B的推理正确当且仅当A1?A2?…?Ak?B为重言式2推理的形式结构*推理的形式结构1.{A1,A2,…,Ak}B若推理正确,记为{A1,A2,?,An}B2.A1?A2?…?Ak?B若推理正确,记为A1?A2?…?Ak?B3.前提：A1,A2,…,Ak结论：B二、推理定律——重言蕴涵式*1.A?(A?B)附加律2.(A?B)?A化简律3.(A?B)?A?B假言推理4.(A?B)??B??A拒取式5.(A?B)??B?A析取三段论6.(A?B)?(B?C)?(A?C)假言三段论7.(A?B)?(B?C)?(A?C)等价三段论8.(A?B)?(C?D)?(A?C)?(B?D)构造性二难(A?B)?(?A?B)?B构造性二难(特殊形式)9.(A?B)?(C?D)?(?B??D)?(?A??C)破坏性二难每个等值式可产生两个推理定律如,由A???A可产生A???A和??A?A推理规则*在推理过程中，可以随时引入已知的前提。前提引入规则(P)在推理过程中，前面已推出的有效结论都可作为后续推理的前提引用。结论引入规则(T)在推理过程中，命题公式中的子公式都可以用与之等值的命题公式置换，得到证明的公式序列的另一公式。置换规则(R)在推理过程中，重言式中的任一命题变元都可以用一命题公式代入，得到的仍是重言式。代入规则(S)推理规则*(4)假言推理规则(6)化简规则(8)假言三段论规则A?BA∴BA∴A?BA?B∴A(5)附加规则(7)拒取式规则(9)析取三段论规则A?B?B∴?AA?BB?C∴A?CA?B?B∴A推理规则*(10)构造性二难推理规则(12)合取引入规则A?BC?DA?C∴B?DA?BC?D?B??D∴?A??CAB∴A?B(11)破坏性二难推理规则三、逻辑证明方法*判断有效结论的过程就是论证过程。基本方法：真值表法直接证明法间接证明法（反证法）具体：等值演算、主析取范式、构造证明法等真值表法*215例：判断下列推理是否正确。今天杨尚树或去网吧或去教室。他没去教室，所以他去网吧了。结论：p4前提：p∨q,?q3设p：杨尚树去网吧。q：杨尚树