离散数学题,详细看补充说明~NO。2
证明下列关系式:
┑Q∧(P→Q)=>┑Q
参考答案:你可能写错了,┑Q是很明显的,是不是要证的是:┑Q∧(P→Q)=>┑p
证明如下:
(1)┑Q [p]
(2)P→Q [p]
(3)┑Q→┑P [T(2)I]
(4)┑P [T(1)(3)I]
证明下列关系式:
┑Q∧(P→Q)=>┑Q
参考答案:你可能写错了,┑Q是很明显的,是不是要证的是:┑Q∧(P→Q)=>┑p
证明如下:
(1)┑Q [p]
(2)P→Q [p]
(3)┑Q→┑P [T(2)I]
(4)┑P [T(1)(3)I]