直接推理
学习:219 次 更新时间:2023-10-08 14:52:45
直接推理是日常语言和亚里士多德的词项逻辑中常见的基本推理形式。不同于从两个直言命题得出一个直言命题的直言三段论,它从一个直言命题得出另一个直言命题,所以被称为是直接的。在传统逻辑中主要有换质法(Obversion)、换位法(Conversion)和对置法(Contraposition)。
直接推理的拼音
拼音:zhí jiē tuī lǐ
词典解释
“间接推理”的对称。前提只有一个判断的推理。主要的有:(1)前提是一个性质判断的直接推理,包括换质法、换位法、换质位法等。(2)前提是一个关系判断的直接推理。如:“a比b大,所以,b比a小。”(3)前提是一个假言判断的直接推理。如由“如果两个三角形全等,那么它们的对应角相等”推出“只有两个三角形的对应角相等,这两个三角形才全等”。