归结原理 编辑
归结原理，在数理逻辑和自动定理证明中，是对于命题逻辑和一阶逻辑中的句子的推理规则，它导致了一种反证法的定理证明技术。
6
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]