作业帮 > 数学 > 作业

离散数学题,详细看补充说明~NO.2

来源:学生作业帮 编辑:神马作文网作业帮 分类:数学作业 时间:2024/11/20 16:28:12
离散数学题,详细看补充说明~NO.2
证明下列关系式:
┑Q∧(P→Q)=>┑Q
离散数学题,详细看补充说明~NO.2
你可能写错了,┑Q是很明显的,是不是要证的是:┑Q∧(P→Q)=>┑p
证明如下:
(1)┑Q [p]
(2)P→Q [p]
(3)┑Q→┑P [T(2)I]
(4)┑P [T(1)(3)I]