《离散数学》证明题 证明P→(Q→S),┐RVP,Q┝R→S
问题描述：
《离散数学》证明题 证明P→(Q→S),┐RVP,Q┝R→S
答
(1)R P(添加前提）(2)┐RVP P(3)P T,(1),(2)(4)P→(Q→S) P(5)(Q→S) T,(3),(4),(6)Q P(7)S T,(5),(6)(8)R→S CP,(1),(7)其中,第3步的T用到了公式：┐A∧(A∨B) => B第5步和第7步的T用到了公式：A∧(A→B) => BP：前...