推理论证规则.docVIP

一、推理的形式结构二、构造证明法例2－3 ? 第六节??? 推理规则 ? 内容：推理的概念，推理定律，推理规则，构造证明法。 重点：(1) 理解推理的概念； 　　　(2) 掌握8条推理定律； 　　　(3) 掌握推理规则； 　　　(4) 掌握构造证明法。 了解：附加前提证明法和归谬法。 授课过程 一、推理的形式结构 1、定义：若为重言式，则称前提 推结论 的推理正确， 为 的逻辑结论或有效结论。记作 。 2、判断推理的方法。 　　判断推理是否正确即判断蕴涵式是否重言式，已学过的办法有：等值演算法，真值表法，主析取范式法。 　　例1、判断下面各推理是否正确。 　　(1) 如果天气凉快，小王就不去游泳，天气凉快，所以小王没去游泳。 　　解：设 ：天气凉快， ：小王去游泳。 　　　前提： 　　　结论： 　　　推理形式结构为： 　　　判断此蕴涵式是否为重言式： 　　[方法一]用等值式法。 　　，??????? (过程略，请同学们自己补上) 所以推理正确。 　　[方法二]用真值表法。 　　其真值表中最后一列全为1，??????????? (过程略，请同学们自己补上) 所以推理正确。 　　[方法三]用主析取范式法。 　　 　　　　(过程略，请同学们自己补上) 　　 　　主析取范式含全部最小项，所以推理正确。 　　(2) 如果我上街，我一定去新华书店，我没上街，所以我没去新华书店。 　　解：