否定後件推理（modus tollens）是2003年公布的自然辯證法名詞。
基本介紹
- 中文名：否定後件推理
- 外文名：modus tollens
- 所屬學科：自然辯證法
- 公布時間：2003年
公布時間,出處,
否定後件推理
相關詞條
- 否定後件推理
否定後件推理（modus tollens）是2003年公布的自然辯證法名詞。公布時間2003年，經全國科學技術名詞審定委員會審定發布。出處《自然辯證法名詞》第一版。1...
- 假言推理
根據規則，充分條件假言推理有兩個正確的形式：（1）肯定前件式 如果p，那么q p ___所以，q （2）否定後件式 如果p，那么q 非q ___所以，非p 例如：1. 如果誰驕傲自滿，那么他就要落後；小張驕傲自滿，所以，小張必定要落後...
- 充分條件假言推理法
充分條件假言推理法指的是以充分條件假言判斷為前提，根據充分條件假言判斷的邏輯性質進行推演的一種邏輯方法。運用這種方法推理時應遵守兩條規則：①肯定前件就必推出肯定後件，否定前件不能否定後件;②否定後件就必推出否定前件，肯定...
- 必要條件假言推理
必要條件假言推理是假言推理之一，指大前提為必要條件假言命題，小前提和結論為性質命題的假言推理，它有兩種有效的邏輯結構形式：否定前件式和肯定後件式。必要條件假言推理和充分條件假言推理前後件之間是互為條件的，掌握了充分條件假言...
- 必要條件假言推理法
這個推理的前提是必要條件假言判斷，它的邏輯性質是：否定前件必否定後件;肯定後件必肯定前件。因此，當確知假言前提中沒有前件，可必然推出沒有後件。運用這種推理法時必須遵守下列的規則：①否定前件就必推出否定後件，肯定前件不...
- 假言聯言推理
簡單否定式 簡單否定式假言聯言推理的兩個假言前提的前件相同，而後件不同；聯言前提的聯言肢否定假言前提的後件；結論否定其前件，為一直言判斷。由於這一推理是由否定後件到否定前件，而結論屬簡單判斷，所以稱之為“簡單否定式”...
- 演繹推理
假言推理 是以假言判斷為前提的推理。假言推理分為充分條件假言推理和必要條件假言推理兩種。（1）充分條件假言推理的基本原則是：小前提肯定大前提的前件，結論就肯定大前提的後件；小前提否定大前提的後件，結論就否定大前提的前件。如...
- 歸結演繹推理
假言推理 假言推理是以假言判斷為前提的演繹推理。假言推理分為充分條件假言推理和必要條件假言推理兩種。第一、充分條件假言推理的基本原則是：小前提肯定大前提的前件，結論就肯定大前提的後件；小前提否定大前提的後件，結論就否定大...
- 歸謬式推理
歸謬式推理(inference with absurdity)是這樣一種推理，它的前提是兩個充分條件假言判斷，其前件相同，後件相矛盾，而結論是與這兩個假言判斷的前件相矛盾的判斷。例如：如果大前提特稱，小前提否定能得出結論，那么大前提中的大項應該...
- 假言命題
與此相應，假言命題也有三種，即：充分條件假言命題、必要條件假言命題和充分必要條件假言命題。根據三種不同的假言命題的邏輯性質，相應地，也就有三種不同的假言推理。充分條件 充分條件假言命題是陳述某一事物情況是另一件事物情況的充分...
- 二難三段
根選言前提的選言支 是分別肯定兩個假言前提的前件還 是否定其後件，二難推理可分為構 成式和被壞式兩種形式。選言前提 的選言支分別肯定兩個假言前提的 前件，而在結論中肯定其後件者，稱 為二難推理的構成式。選言前提的 選言支...
- 三段法
三段法是邏輯學中，演繹推理中的一種基本形式，即大前提、小前提和結論。大前提是一般事理；小前提是論證的個別事物；結論就是論點。題乾已知信息 對於邏輯推理，題乾信息往往能確定題目考點所在，每一類題型在給定信息上都存在相關特徵。
- 複合命題
這樣，充分條件假言推理就相應地有如下兩條規則：⑴肯定前件就要肯定後件，否定後件就要否定前件。⑵否定前件不能否定後件，肯定後件不能肯定前件。例如："如果小王體內有炎症，則他血液中的白血球含量就會不正常升高。小王血液中的白...
- 必要條件假言命題
推理規則 肯定前件不能肯定後件，肯定後件就能肯定前件;否定前件就能否定後件，否定後件不能否定前件。示例:對於“不到長城非好漢”這句話的理解是：如果沒有到過長城，那么不是好漢，那么下述選項表達相同意思的是：A.只有到過長城...
- 規則依存模型
推理形式實質上是對有具體內容的推理的一種抽象。推理形式有正確的，也有不正確的。正確的推理形式是在假設前提為真時其結論必真的推理形式。命題邏輯中推理規則的顯著例子是肯定前件和否定後件規則。對於一階謂詞邏輯，推理規則需要處理...
- 邏輯(一門學科)
在這個例子中，老律師曼索爾用了兩個充分條件假言推理的否定後件式，通過這兩次演繹論證，證明了“拉基雅不是兇手”這個論題。邏輯思維能力是智力的核心，要培養兒童的智力，就要注意邏輯思維能力的培養。邏輯思維 常用的有比較、分析、...
- 演繹反駁
”在這一普遍性知識的命題中，後件顯然荒謬，否定後件就要否定前件，從而確定了這種主張的虛假。歸納反駁是運用歸納推理形式進行的反駁。即用列舉事實或者用關於個別性或特殊性知識的命題去確定被反駁命題的虛假。例如，恩格斯在《自然辯證...
- 邏輯學通識課
如何通過明確不同種類的命題來進行準確的判斷；如何通過掌握三段論、充分條件肯定前件式、否定後件式、二難推理等一些基本的推理方法進行嚴密的邏輯推理；如何運用“穆勒五法”探求事物之間的因果聯繫，從而提高歸納推理的可靠性；如何運用...
- 邏輯謬誤
形式邏輯謬誤是指不依據形式邏輯推理規則進行推理、演繹、論證而導致的邏輯謬誤：否定前件謬誤 典型形式： “如果A那么B；非A；故非B。”例：“如果是鳥類，那么終將死亡；人不是鳥類；故人不會死亡。” 這是對直言三段論的誤用。直言...
- 命題演算分離規則
又稱曲全公理。直言三段論推理的依據。內容為：凡對一類事物有所肯定，則對該類事物中的每一個對象也有所肯定；凡對一類事物有所否定，則對該類事物中的每一個對象也有所否定。三段論的規則 要保證直言三優論推理的有效性，就必須...
