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