证明下列关系式:
┑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]