问题标题:
《离散数学》证明题证明P→(Q→S),┐RVP,Q┝R→S
问题描述:
《离散数学》证明题证明P→(Q→S),┐RVP,Q┝R→S
杜清珍回答:
(1)RP(添加前提)(2)┐RVPP(3)PT,(1),(2)(4)P→(Q→S)P(5)(Q→S)T,(3),(4),(6)QP(7)ST,(5),(6)(8)R→SCP,(1),(7)其中,第3步的T用到了公式:┐A∧(A∨B)=>B第5步和第7步的T用到了公式:A∧(A→B)=>BP:前...
点击显示
数学推荐
热门数学推荐