离散数学 证明 P →(Q→S),┐RVP,Q┝ R→S
1个回答
展开全部
（1）R 附加前提
（2）┐RVP 前提引入
（3）P T（1）（2）
（4） P →(Q→陪碧液S ）前慧明提引入
（5）Q→S T（3）芦物（2）
（6）Q 前提引入
（7）S T（5）（6）
（2）┐RVP 前提引入
（3）P T（1）（2）
（4） P →(Q→陪碧液S ）前慧明提引入
（5）Q→S T（3）芦物（2）
（6）Q 前提引入
（7）S T（5）（6）
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
