假言直言推理

假言直言推理

假言直言推理是由假言判斷和直言判斷構成的假言推理,通常泛稱假言推理。

基本介紹

  • 中文名:假言直言推理
定義,詳細解釋,充分條件假言推理,必要條件假言推理,充分必要條件假言推理,

定義

命題的四種推理方式,和規則,幅域。以斷命題真偽或能否。

詳細解釋

充分條件假言推理

(1)定義
充分條件假言推理,是大前提為充分條件假言推理,小前提和結論是直言判斷的假言推理。
此種推理中,小前提或是對大前提的前件有所斷定,或是對大前提的後件有所斷定。
1)小前提肯定大前提的前件;——充分條件假言推理能推出必然性的結論
2)小前提否定大前提的前件;——充分條件假言推理不能推出必然性的結論
3)小前提肯定大前提的後件;——充分條件假言推理不能推出必然性的結論
4)小前提否定大前提的後件。——充分條件假言推理能推出必然性的結論
(2)規則
第一,肯定前件必須肯定後件,否定後件必須否定前件;
第二,否定前件不能否定後件,肯定後件不能肯定前件。
(3)兩種正確的推理形式
1)肯定前件式
小前提肯定大前提的前件,結論肯定大前提的後件,其公式是:
如果p,則q
p
——————
所以q
2)否定後件式
小前提否定大前提的後件,結論否定大前提的前件,其公式是:
如果p,則q
非q
——————
所以非p

必要條件假言推理

(1)定義
必要條件假言推理,是大前提為必要條件假言判斷,小前提和結論為直言判斷的假言推理。
(2)規則
第一,否定前件必須否定後件,肯定後件必須肯定前件;
第二,肯定前件不能肯定後件,否定後件不能否定前件。
(3)兩種正確的推理形式
1)否定前件式
小前提否定大前提的前件,結論否定大前提的後件,其公式是:
只有p,才q
非p
——————
所以非q
2)肯定後件式
小前提肯定大前提的後件,結論肯定大前提的前件,其公式是:
只有p,才q
q
——————
所以p

充分必要條件假言推理

(1)定義
充分必要條件假言推理是大前提為充分必要條件假言判斷,小前提和結論為直言判斷的假言推理。
(2)規則
肯定前件必須肯定後件;否定前件必須否定後件;肯定後件必須肯定前件;否定後件必須否定前件。
(3)四種正確的推理形式

相關詞條

熱門詞條

聯絡我們