演绎推理
拼音:yǎn yì tuī lǐ 首字母大写:YYTL五笔:ipgw xcg rwyg gj 演绎推理的同义词反义词
亦称“演绎法”。简称“演绎”。“归纳推理”的对称。从包含一般性知识的前提推出包含特殊性知识的结论的推理。这里所说的一般和特殊都是相对而言的。演绎推理全都是必然性推理。主要的形式是三段论。
小前提
演绎
直言三段论
拼音:zhí yán sān duàn lùn 首字母大写:ZYSDL五笔:fh yyy dg thdc ywx 直言三段论的同义词反义词
1.逻辑学名词。即三段论。亦称定言三段论。是从两个已知的判断(前提)推出它们所制约的第三个判断(结论)来的间接演绎推理。因为两个前提和一个结论都是直言判断,所以叫直言三段论。如:凡金属都能导电,铜是金属,所以铜能导电。
大前提
公理化方法
拼音:ɡōnɡ lǐ huà fānɡ fǎ 首字母大写:GLHFF五笔:wc gj wx yy ifc 公理化方法的同义词反义词
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
归纳推理
拼音:ɡuī nà tuī lǐ 首字母大写:GNTL五笔:jv xmw rwyg gj 归纳推理的同义词反义词
亦称“归纳法”。“演绎推理”的对称。简称“归纳”。从包含特殊性知识的前提推出包含一般性知识的结论的推理。这里所说的特殊和一般都是相对而言的。完全归纳推理和科学归纳推理是必然性推理,简单枚举归纳推理则是或然性推理。
演绎法
演绎证明
拼音:yǎn yì zhènɡ mínɡ 首字母大写:YYZM五笔:ipgw xcg yg je 演绎证明的同义词反义词
“归纳证明”的对称。运用演绎推理所作的证明。论据是一般性知识,论题是在该一般性知识范围之内的知识或事实。如以“一切科学都是有用的”来证明“逻辑学是有用的”。