邏輯證明方法內容(邏輯的證明方法)
1.邏輯的證明方法
間接證明又稱(chēng)反證法，它是通過(guò)證明反論題的虛假，從而判明我們所要證明的論題真實(shí)的一種證明方法。
運用間接證明方法進(jìn)行證明，一般有三個(gè)步驟：（1）設立反論題（即與我們所要證明的論題相矛盾的論題）；（2）證明反論題是虛假的；（3）根據排中律，推出我們所要證明的論題的真實(shí)。從間接證明的這個(gè)特點(diǎn)來(lái)看，間接證明實(shí)質(zhì)上是選言推理的否定肯定式的運用，即從否定反論題真實(shí)，而推出我們所要證明的論題真實(shí)。可見(jiàn)，為了進(jìn)行間接證明，最關(guān)鍵的是要證明反論題的虛假（即否定反論題的真實(shí)）。為此通常采用兩種方法：歸謬法和窮舉法。
歸謬法是一種先假定反論題為真，并從中引出謬誤的推斷，然后，根據假言推理的否定式，從否定謬誤的推斷到否定反論題的真實(shí)的一種方法。既然否定了反論題的真實(shí)，那么，根據排中律，自然也就證明了我們所要證明的論題是真實(shí)的。還有一種經(jīng)常運用的反證法是窮舉法。窮舉法就是列舉出除我們所要證明的論題外還可能成立的其他各種不同論題，然后根據事實(shí)或推理將這些不同論題一一予以否定，從而證明我們所要證明的論題為真的一種方法。可見(jiàn)，窮舉法實(shí)質(zhì)上是選言推理的否定肯定式和完全歸納推理的聯(lián)合運用。
下面舉一例；
■在巴基斯坦影片《人世間》中，女主人公拉基雅的丈夫惡貫滿(mǎn)盈，最后被人槍殺。兇手是拉基雅？拉基雅確實(shí)是開(kāi)了槍的呀！老律師曼索爾把這個(gè)善良的婦女從絕境中解脫出來(lái)。這位正直的律師根據充分的理由證明了拉基雅不是殺死她丈夫的兇手，她是無(wú)辜的。曼索爾是這樣證明的：
如果拉基雅是兇手，那么她手槍中的五顆子彈必然最少有一發(fā)打中了她的丈夫。而現在經(jīng)過(guò)現場(chǎng)檢查，她手槍中的五發(fā)子彈都打在對面的墻上，打在墻上，當然沒(méi)有打中她丈夫。再有，如果拉基雅是殺死她丈夫的兇手，那么，子彈一定是從正面打進(jìn)她丈夫的身體的，因為拉基雅是面對面地對她丈夫開(kāi)了槍。但是，經(jīng)過(guò)法醫檢查，尸體上的子彈是從背后打進(jìn)去的。
在這個(gè)例子中，老律師曼索爾用了兩個(gè)充分條件假言推理的否定后件式，通過(guò)這兩次演繹論證，證明了拉基雅不是兇手這個(gè)論題。邏輯思維能力是智力的核心，要培養兒童的智力，就要注意邏輯思維能力的培養。
2.證明的方法有哪些方法
證明方法
編輯
用于邏輯證明的方法，出現《邏輯學(xué)》和《數學(xué)》里。綜合法是一種從題設到結論的邏輯推理方法，也就是由因導果的證明方法。
綜合法
編輯
綜合法是一種從題設到結論的邏輯推理方法，也就是由因導果的證明方法。
分析法
編輯
分析法是一種從結論到題設的邏輯推理方法，也就是執果索因法的證明方法。分析法的證明路徑與綜合法恰恰相反。
反證法
編輯
由于原命題與逆否命題等效，所以當證明原命題有困難或者無(wú)法證明時(shí)，可以考慮證明它的逆否命題，通過(guò)正確推理如果逆否命題正確或者推出與原命題題設、公理、定理等不相容的結論，從而判定結論的反面不成立，也就證明了原命題的結論是正確的。
反證法視逆否命題的題設也就是原命題的結論的反面的情況又分為兩種：
1）歸謬法：若結論的反面只有一種情況，那么把這種情況推翻就達到證明的目的了。
2）窮舉法：若結論的反面不只一種情況，則必須將所有情況都駁倒，這樣才能達到證明的目的。
前三種方法也叫演繹法。都是按照“從一般到特殊”的思維過(guò)程進(jìn)行推理的。
歸納法
編輯
歸納法或歸納推理，有時(shí)叫做歸納邏輯，是從個(gè)別性知識，引出一般性知識的推理，是由已知真的前提，引出可能真的結論。它把特性或關(guān)系歸結到基于對特殊的代表的有限觀(guān)察的類(lèi)型；或公式表達基于對反復再現的現象的模式的有限觀(guān)察的規律。
3.邏輯證明的種類(lèi)有哪些
邏輯證明的種類(lèi) 1、直接證明 直接證明就是從真實(shí)論據直接推出論題的證明。
直接證明的特點(diǎn)是，它從論題出發(fā)，為論題的真實(shí)性提供正面的理由。如繼承人王玲一人繼承被繼承人王某的上述遺產(chǎn)。
因為根據《中華人民共和國繼承法》第5條和第10條的規定，被繼承人王某的遺產(chǎn)應由其配偶、子女、父母共同繼承。 現被繼承人王某與配偶僅有王玲一名子女，被繼承人王某的配偶、父母又放棄繼承。
2、間接證明 間接證明就是通過(guò)證明與原論題相關(guān)的其他論題為假，從而推出原論題為真的證明。間接證明的特點(diǎn)是論題的真實(shí)性不是從論據真直接推出的，而是從其他論題的假間接推出的，間接證明又有反證法和選言證法兩種。
⑴、反證法。通過(guò)證明反論題（與原論題具有矛盾關(guān)系或下反對關(guān)系的命題）為假，從而根據排中律，推出原論題為真的證明方法。
如在公證實(shí)踐中，陳某攜其子申辦繼承權公證，提交的有關(guān)證明材料中稱(chēng)陳某與被繼承人李某只生育一子，但陳某在出具放棄遺產(chǎn)繼承權聲明書(shū)時(shí)對其子說(shuō)：“三子，你替我寫(xiě)一下。 ”承辦公證員通過(guò)證明“其生育一子”為假，從而根據排中律，推出“生育多個(gè)子女”為真。
得反論題與原論題必須是矛盾（或下反對）關(guān)系，而不能是反對（或差等）關(guān)系。因為前者可以由反論題的假推出原論題的真，而后者不能。
如果不注意這一點(diǎn)，則證明就是不合邏輯。 ⑵、選言證法。
通過(guò)證明與原論題有關(guān)的其他論題為假，從而推出原論題為真的證明方法。如遺產(chǎn)是公民死亡時(shí)遺留的個(gè)人合法財產(chǎn)，包括：①公民的收入；②公民的房屋、儲蓄和生活用品；③公民的林木、牲禽和家禽；④公民的文物、圖書(shū)資料；⑤法律允許公民所有的生產(chǎn)資料；⑥公民的著(zhù)作權、專(zhuān)利權中的財產(chǎn)權；⑦公民的其他合法財產(chǎn)。
張某遺留的1000股“飛彩股份”，既非①、②、③，也非④、⑤、⑥，所以，應視為其他合法財產(chǎn)。但在證明中使用的選言命題的選言肢必須窮盡。
否則，盡管把除原命題以外的選言肢都加以否定，也不能必然推出原命題為真。
