离散数学题,详细看补充说明~NO.2证明下列关系式:┑Q∧(P→Q)=>┑Q

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/04 11:28:49
离散数学题,详细看补充说明~NO.2证明下列关系式:┑Q∧(P→Q)=>┑Q

离散数学题,详细看补充说明~NO.2证明下列关系式:┑Q∧(P→Q)=>┑Q
离散数学题,详细看补充说明~NO.2
证明下列关系式:
┑Q∧(P→Q)=>┑Q

离散数学题,详细看补充说明~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∧(P→Q) 前提引入
┑Q
注意,合取∧与析取的区别,合取是当两个同时为真的时候命题才为真,而析取是只要两者中有一个为真,则必定为真!以上不就是合取么?哈哈

收起