[go: up one dir, main page]

推导可以指:

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