逻辑证明方法内容(逻辑的证明方法)
1.逻辑的证明方法
间接证明又称反证法，它是通过证明反论题的虚假，从而判明我们所要证明的论题真实的一种证明方法。
运用间接证明方法进行证明，一般有三个步骤：（1）设立反论题（即与我们所要证明的论题相矛盾的论题）；（2）证明反论题是虚假的；（3）根据排中律，推出我们所要证明的论题的真实。从间接证明的这个特点来看，间接证明实质上是选言推理的否定肯定式的运用，即从否定反论题真实，而推出我们所要证明的论题真实。可见，为了进行间接证明，最关键的是要证明反论题的虚假（即否定反论题的真实）。为此通常采用两种方法：归谬法和穷举法。
归谬法是一种先假定反论题为真，并从中引出谬误的推断，然后，根据假言推理的否定式，从否定谬误的推断到否定反论题的真实的一种方法。既然否定了反论题的真实，那么，根据排中律，自然也就证明了我们所要证明的论题是真实的。还有一种经常运用的反证法是穷举法。穷举法就是列举出除我们所要证明的论题外还可能成立的其他各种不同论题，然后根据事实或推理将这些不同论题一一予以否定，从而证明我们所要证明的论题为真的一种方法。可见，穷举法实质上是选言推理的否定肯定式和完全归纳推理的联合运用。
下面举一例；
■在巴基斯坦影片《人世间》中，女主人公拉基雅的丈夫恶贯满盈，最后被人枪杀。凶手是拉基雅？拉基雅确实是开了枪的呀！老律师曼索尔把这个善良的妇女从绝境中解脱出来。这位正直的律师根据充分的理由证明了拉基雅不是杀死她丈夫的凶手，她是无辜的。曼索尔是这样证明的：
如果拉基雅是凶手，那么她手枪中的五颗子弹必然最少有一发打中了她的丈夫。而现在经过现场检查，她手枪中的五发子弹都打在对面的墙上，打在墙上，当然没有打中她丈夫。再有，如果拉基雅是杀死她丈夫的凶手，那么，子弹一定是从正面打进她丈夫的身体的，因为拉基雅是面对面地对她丈夫开了枪。但是，经过法医检查，尸体上的子弹是从背后打进去的。
在这个例子中，老律师曼索尔用了两个充分条件假言推理的否定后件式，通过这两次演绎论证，证明了拉基雅不是凶手这个论题。逻辑思维能力是智力的核心，要培养儿童的智力，就要注意逻辑思维能力的培养。
2.证明的方法有哪些方法
证明方法
编辑
用于逻辑证明的方法，出现《逻辑学》和《数学》里。综合法是一种从题设到结论的逻辑推理方法，也就是由因导果的证明方法。
综合法
编辑
综合法是一种从题设到结论的逻辑推理方法，也就是由因导果的证明方法。
分析法
编辑
分析法是一种从结论到题设的逻辑推理方法，也就是执果索因法的证明方法。分析法的证明路径与综合法恰恰相反。
反证法
编辑
由于原命题与逆否命题等效，所以当证明原命题有困难或者无法证明时，可以考虑证明它的逆否命题，通过正确推理如果逆否命题正确或者推出与原命题题设、公理、定理等不相容的结论，从而判定结论的反面不成立，也就证明了原命题的结论是正确的。
反证法视逆否命题的题设也就是原命题的结论的反面的情况又分为两种：
1）归谬法：若结论的反面只有一种情况，那么把这种情况推翻就达到证明的目的了。
2）穷举法：若结论的反面不只一种情况，则必须将所有情况都驳倒，这样才能达到证明的目的。
前三种方法也叫演绎法。都是按照“从一般到特殊”的思维过程进行推理的。
归纳法
编辑
归纳法或归纳推理，有时叫做归纳逻辑，是从个别性知识，引出一般性知识的推理，是由已知真的前提，引出可能真的结论。它把特性或关系归结到基于对特殊的代表的有限观察的类型；或公式表达基于对反复再现的现象的模式的有限观察的规律。
3.逻辑证明的种类有哪些
逻辑证明的种类 1、直接证明 直接证明就是从真实论据直接推出论题的证明。
直接证明的特点是，它从论题出发，为论题的真实性提供正面的理由。如继承人王玲一人继承被继承人王某的上述遗产。
因为根据《中华人民共和国继承法》第5条和第10条的规定，被继承人王某的遗产应由其配偶、子女、父母共同继承。 现被继承人王某与配偶仅有王玲一名子女，被继承人王某的配偶、父母又放弃继承。
2、间接证明 间接证明就是通过证明与原论题相关的其他论题为假，从而推出原论题为真的证明。间接证明的特点是论题的真实性不是从论据真直接推出的，而是从其他论题的假间接推出的，间接证明又有反证法和选言证法两种。
⑴、反证法。通过证明反论题（与原论题具有矛盾关系或下反对关系的命题）为假，从而根据排中律，推出原论题为真的证明方法。
如在公证实践中，陈某携其子申办继承权公证，提交的有关证明材料中称陈某与被继承人李某只生育一子，但陈某在出具放弃遗产继承权声明书时对其子说：“三子，你替我写一下。 ”承办公证员通过证明“其生育一子”为假，从而根据排中律，推出“生育多个子女”为真。
得反论题与原论题必须是矛盾（或下反对）关系，而不能是反对（或差等）关系。因为前者可以由反论题的假推出原论题的真，而后者不能。
如果不注意这一点，则证明就是不合逻辑。 ⑵、选言证法。
通过证明与原论题有关的其他论题为假，从而推出原论题为真的证明方法。如遗产是公民死亡时遗留的个人合法财产，包括：①公民的收入；②公民的房屋、储蓄和生活用品；③公民的林木、牲禽和家禽；④公民的文物、图书资料；⑤法律允许公民所有的生产资料；⑥公民的著作权、专利权中的财产权；⑦公民的其他合法财产。
张某遗留的1000股“飞彩股份”，既非①、②、③，也非④、⑤、⑥，所以，应视为其他合法财产。但在证明中使用的选言命题的选言肢必须穷尽。
否则，尽管把除原命题以外的选言肢都加以否定，也不能必然推出原命题为真。
