Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
逻辑推理
Wikipedia 维基中文 免费百科全书
Download this dictionary
逻辑推理
逻辑推理的三种方式
演绎
、
归纳
和
溯因
可以用如下方法解释(取自[1]):
给出 α, β,和规则
R
1
: α ∴ β
演绎
是使用规则和它的前件(precondition)来得出结论(α ∧
R
1
⇒ β)。
归纳
是在多个 β 和 α 的例子之后认识到
R
1
。
溯因
是使用后件(postcondition)和规则来假定可以解释后件的前件(β ∧
R
1
⇒ α)。
访问 Wikipedia.org... 网页
本文章的材料选自
维基百科
(R)
, 并有
GNU 免费文件许