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

推理理论分为三种

演绎法

附加前提证明法

归谬法

其中的附加前提证明法、归谬法都是演绎法的扩展。

这里来说下演绎法

前提知识：

推理定理：

还有用到一些等价的命题推论。

这样的化，就可以来推理了。

前提：A1，A2，***,Ak.

结论：A->B.

如：

前提：p V q,¬r->¬q,¬p。

结论：r。

附加前提证明法：

前提：A1，A2，***,Ak.

结论：B.

归谬法：

前提：A1，A2，***,¬B

结论：0.