离散数学证明题:证明((Q∧R)-->S) ∧(R-->(P∨S))(R∧(P-->Q))-->S
人气:367 ℃ 时间:2020-02-04 05:18:07
解答
左边:((Q∧R)→S)∧(R→(PvS)) = (┐(Q∧R)vS)∧(┐Rv(PvS))
= (┐Q v ┐R v S)∧(┐R v P v S)
右边:(R∧(P→Q))→S = ┐(R∧(┐PvQ))v S = (┐R v (P∧┐Q) v S )
= ((┐RvP)∧(┐R v ┐Q))v S = (┐R v P v S)∧(┐R v ┐Q v S)
((Q∧R)→S)∧(R→(PvS)) (R∧(P→Q))→S得证.
推荐
- 《离散数学》证明题 证明P→(Q→S),┐RVP,Q┝R→S
- 《离散数学》证明题:证明R→S可从前提P→(Q→S),┐R∨P和Q推出.
- 证明 P →(Q→S),┐RVP,Q┝ R→S
- 试证明(P→(Q→R)∧(﹁S∨P)∧Q推出S→R
- 离散数学命题证明题 前提:p→s,q→r,p∨q,┘r 结论:r
- 7分之4乘六分之一加7分之3除6
- 在三角形ABC中,必有AC+BC>AB 理由是?南偏西25°与北偏西45°的两条射线所夹的角等于?
- 三相接地短路与三相短路的区别,哪种严重?
猜你喜欢