三段论法

三段论法   sān duàn lùn fǎ
三段论法(syllogism),西方逻辑的推理式,逻辑演算的一种,用形式化方法处理逻辑推理,特别是哲学、数学中所用推理,由于形式化了的推理过程与代数演算具有相似性,这类推理的正确性仅依赖于它们的形式,而与内容无关。
扫描版:「三段论法」在《现代汉语词典》第1116页