推导
查看
维基词典
中的词条「
推导
」。
推导
可以指:
哲学
演绎推理
:即进行推理的心理过程,其中前提的真实性确保结论的真实性。
自然演绎
:一类基于简单且不言而喻的推理规则的证明系统,旨在密切反映推理的实际发生方式。