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