命题逻辑的推理.pptVIP

第3章 推理理论 推理 是从前提推出结论的思维过程, 前提 是指已知的命题公式, 结论 是从前提出发应用推理规则推出的命题公式. 逻辑结论 若(A1∧A2∧ ··· ∧Ak)→B为重言式,则称A1,A2,···,Ak推结论B的推理正确,B是A1,A2,···,Ak的逻辑结论或有效结论. 称(A1∧A2∧…∧Ak)→B为由前提A1,A2,…,Ak推结论B的推理的形式结构. 判断推理是否正确的方法 同用“A ? B”表示“A?B”是重言式类似,用“A?B”表示“A?B”是重言式.因而,若由前提A1,A2,···,Ak推结论B的推理正确,也记 (A1∧A2∧…∧Ak)?B. 于是,判断推理是否正确的方法就是判断重言蕴涵式的方法.比如真值表法,等值演算法,主析取范式法等. 例 例: 判断下面各推理是否正确. (1)如果天气凉快,小王就不去游泳.天气凉快,所以小王没去游泳. (2)如果我上街,我一定去新华书店.我没上街.所以我没去新华书店. 解:( 解上述类型的推理问题,应先将命题符号化,然后写出前提、结论和推理的形式结构,最后进行判断.) (1)p：天气凉快; q：小王去游泳. 前提：p→?q, p. 结论： ?q. 推理的形式结构为 ((p→?q)∧p)→ ? q. (*) 判