證明與反駁ppt課件(編輯修改稿)
2025-05-30 08:47 本頁面
【文章內(nèi)容簡介】 ，為論題的真實性提供直接的理由。亦即，不需要借助于反論題的邏輯中介。 （ 2）間接證明 ： 是通過確定與論題相矛盾的判斷（反論題）或其他有關(guān)判斷為假，從而確定原論題為真的證明方法。亦即，需要借助于反論題的邏輯中介。 間接證明一般包括 反證法 和 排除法（選言證法） 。 論證的種類 反證法 反證法是首先通過確定與論題相矛盾的判斷（反論題）為假，然后根據(jù)排中律（不能同假）的要求，證明原判斷（原論題）為真的證明方法。 步驟是： 求證： P 證明 ：（ 1）設(shè)非 P真。 （ 2）如果非 P，那么 Q。 Q假。 所以，非 P假。 （ 3）據(jù)排中律，由非 P假，得出 P真。 論證的種類 排除法（選言證法） 選言證法是首先形成一個窮盡的選言判斷（論題是其中的一個選言支），并通過論據(jù)否定論題以外的其他選言支，從而確定論題為真的證明方法。 步驟 ： 論題： A 論證：或 A，或 B，或 C，或 D（與 A相關(guān)的所有判斷） B假， C假， D假 。 所以， A真 。 在運(yùn)用排除法時，必須按需要窮盡與論題相關(guān)的所有可能判斷，否則將會遺漏正確的判斷。 論證的種類 論題的規(guī)則 論題必須明確 ： 違反這條規(guī)則，就要犯“論題不明”的邏輯錯誤。 論題必須保持同一 ：即證明始終圍繞著同一論題來進(jìn)行。 違反這條規(guī)則，在寫作上叫做“跑題”，在邏輯論證中，叫做“偷換論題”或“混
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1