推导

推导可以指：

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