Question

【急】离散数学中,当结论为析取式时,如何使用附加前提证明法

如题。。。

Answer 1

先用等值式“A→B等值于┐A∨B”把结论转换为蕴涵式

追问

证明要写过程，把┐A∨B转化成A→B，把结论引入的理由是什么？像证明时理由有，前提引入，假言推理什么的？

追答

结论是蕴涵式A→B时，可以把A作为附加前提引入，证明结论是B。
证明过程是利用推理规则构造的，例如假言三段论、析取三段论、假言推理、拒取式等等，去翻翻书吧