已停用 啟用查詢紀錄
直接推理
zhí jiē tuī lǐ
解釋
直接由一個前提即推導出結論的推理方式。相對於間接推理而言。
重編國語辭典
解釋
直接推理是日常語言和亞里士多德的詞項邏輯中常見的基本推理形式. 不同於從兩個直言命題得出一個直言命題的直言三段論，它從一個直言命題得出另一個直言命題，所以被稱爲是直接的. 在傳統邏輯中主要有換質法（Obversion）、換位法（Conversion）和對置法（Contraposition）. 直言命題的四種類型的謂詞邏輯表示： *全稱肯定命題（A）：，所有S都是P *全稱否定命題（E）：，所有S都不是P *特稱肯定命題（I）：，有些S是P *特稱否定命題（O）：，有些S不是P 依據全稱量詞和存在量詞之間的對偶關係（對立四邊形中矛盾關係）可以直接得出： *全稱肯定命題（A）：，沒有S不是P *全稱否定命題（E）：，沒有S是P *特稱肯定命題（I）：，並非所有S都不是P *特稱否定命題（O）：，並非所有S都是P 上面加粗表述是亞裏士多德《解釋篇》中採用的形式. 假定了主詞對應的範疇確有個體存在之後可得出蘊涵關係（又譯差等關係）： *全稱肯定命題（A）蘊涵了特稱肯定命題（I）： *全稱否定命題（E）蘊涵了特稱否定命題（O）： 在蘊涵關係和對偶關係之上可確立全稱命題間不同真關係（又譯反...閱讀更多
中文維基百科