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

来源:学生作业帮助网 编辑:作业帮 时间:2024/11/15 07:00:50
离散数学题,详细看补充说明~NO.2证明下列关系式:┑Q∧(P→Q)=>┑Q
xRN@/[)Je=PTVGNaBNyB[@Ԡ@:_ʿ;CYRȾsΜ;=O} W{;!=7 a$9`һɴrrZs}`Vĺf}{J#F+F8b}gLAX8d+X Й5;|\Hh{0!()ړ=J7i}}px͑V.4b: "-mͳU<)OمxN uqHƅ[ h,0b}yTBO&<U&-8~C{qqj+ªtV$MC1}K X_Ӫ0Fw

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

收起