离散数学之数理结构推理理论

推理理论分为三种 演绎法 附加前提证明法 归谬法 其中的附加前提证明法、归谬法都是演绎法的扩展。 这里来说下演绎法 前提知识： 推理定理： 还有用到一些等价的命题推论。 这样的化，就可以来推理了。 前提：A1，A2，***,Ak. 结论：A->B. 如： 前提：p V q,¬r->¬q,¬p。 结论：r。 附加前提证明法： 前提：A1，A2，***,Ak. 结论：B. 归谬法： 前提：A1，A2，

>>阅读原文<<