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

来源:学生作业帮助网 编辑:作业帮 时间:2024/12/02 15:47:21
【急】离散数学中,当结论为析取式时,如何使用附加前提证明法如题.
x[ P7l')*Tt0JĒr

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

【急】离散数学中,当结论为析取式时,如何使用附加前提证明法如题.
先用等值式“A→B等值于┐A∨B”把结论转换为蕴涵式