二道 离散数学的演算题，大家帮帮忙 15
1.用推理规则证明(P∨Q)∧(P→R)∧(R→S)=>S∨R2.用间接证明法证明：A→B,→(B∨C)逻辑推出→A.那个数学符号还是看图吧。谁会做先谢过了!...
1.用推理规则证明(P∨Q)∧(P→ R)∧(R→ S)=>S∨R
2.用间接证明法证明：A→B,→(B∨C)逻辑推出→A.
那个数学符号还是看图吧。谁会做先谢过了! 展开
2.用间接证明法证明：A→B,→(B∨C)逻辑推出→A.
那个数学符号还是看图吧。谁会做先谢过了! 展开
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
