离散数学 证明 P →(Q→S),┐RVP,Q┝ R→S
展开全部
（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）
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
