二、直接证明法 、直接证明法的特点认知 勿需附加任何前提即可依规则从给定的前提推导出结论。 2、直接证明法的操作步骤 (1)依序编号排列前提,将结论写在最后一个前提的右侧并用“/” 断开。 (2)依据已知前提结合相关规则推出新的命题,依次编号写在下面。 (3)在推出的新命题右侧括号内注明前提依据和规则依据。 (4)证明结束写上证毕字样 3、直接证明法与直接推理 4、应用举例分析 直接推证法的逻辑启示 【例析4201-4206】
二、直接证明法 1、直接证明法的特点认知 勿需附加任何前提即可依规则从给定的前提推导出结论。 2、直接证明法的操作步骤 （1）依序编号排列前提，将结论写在最后一个前提的右侧并用“/∴” 断开。 （2）依据已知前提结合相关规则推出新的命题，依次编号写在下面。 （3）在推出的新命题右侧括号内注明前提依据和规则依据。 （4）证明结束写上证毕字样。 3、直接证明法与直接推理 4、应用举例分析 5、直接推证法的逻辑启示 【例析4201－4206】
、假设证明法 、间接推证法的特点认知 给定前提不够,需要附加。 2、假设证明法的基本思路 附加假设,依据蕴涵引入的规则有条件的推出相 关结论。 3、假设证明法的模式构造 4、应用举例分析【例析4207-4210】 5、假设证明法的逻辑启示
三、假设证明法 1、间接推证法的特点认知 给定前提不够，需要附加。 2、假设证明法的基本思路 附加假设，依据蕴涵引入的规则有条件的推出相 关结论。 3、假设证明法的模式构造 4、应用举例分析 【例析4207－4210】 5、假设证明法的逻辑启示
四、反证法 反证法的特点认知 前提不够,需要附加。 附加与结论相矛盾的命题作为假设依据规则进行推导寻求矛盾。 找到矛盾后利用否定引入或销去规则反证结论成立。 2、反证法的模式构造 3、应用举例分析【例析4211、4212】 4、反证法的逻辑启示
四、反证法 1、反证法的特点认知 前提不够，需要附加。 附加与结论相矛盾的命题作为假设依据规则进行推导寻求矛盾。 找到矛盾后利用否定引入或销去规则反证结论成立。 2、反证法的模式构造 3、应用举例分析 【例析4211、4212】 4、反证法的逻辑启示
五、推证技巧分析 (一)推证实例分析 1A->B 2c->D 3.AVC /∴BvD
五、推证技巧分析 （一）推证实例分析 1.A→B 2.C→D 3.AC BD
解法一:直接证明法 1A->B 2c->D 3.AVC /∴BvD 4.A→>C (3.→等值) 5.A>D (42.→>连锁) 6B→A(1.→>易位) 7-B->D (64.→>连锁) 8. BVD (7.-等值) 证毕
解法一：直接证明法 1.A→B 2.C→D 3.AC BD 4.A→C (3.→等值) 5.A→D (4.2.→连锁) 6.B→A (1.→易位) 7.B→D (6.4.→连锁) 8.BD (7.→等值) 证毕