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