归纳逻辑 编辑
归纳法或归纳推理，有时叫做归纳逻辑，是论证的前提支持结论但不确保结论的推理过程。它基于对特殊的代表的有限观察，把范畴归结到等价类；或基于对反复再现的现象的模式的有限观察，公式表达规律。例如，使用归纳法在如下特殊的命题中：
6
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
ACL2是由一个程序语言、一套一阶逻辑的可拓理论、以及一个机械化的定理机器证明所组成的软件系统。ACL2 从设计上支持基于归纳逻辑理论的自动推理，可应用于软件或硬件系统的形式化验证。ACL2 的编程语言及其实现基于 Common Lisp。ACL2 是基于BSD授权发布的开源软件。