离散数学证明题:证明((Q∧R)-->S) ∧(R-->(P∨S))(R∧(P-->Q))-->S

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/29 10:11:27
离散数学证明题:证明((Q∧R)-->S) ∧(R-->(P∨S))(R∧(P-->Q))-->S
x){lMt{h= l G˃4uu5L S#QNJ`MM HP$P&H&•O/{oL룶I`@F@Pƣ) @2<@2 B(r78h 1 K, (5A-r% BlXtGA up}Ӂ!g_\g>i

离散数学证明题:证明((Q∧R)-->S) ∧(R-->(P∨S))(R∧(P-->Q))-->S
离散数学证明题:证明((Q∧R)-->S) ∧(R-->(P∨S))(R∧(P-->Q))-->S

离散数学证明题:证明((Q∧R)-->S) ∧(R-->(P∨S))(R∧(P-->Q))-->S
左边:((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得证.