离散数学问题： 用附加前提法证明下面的推理： 前提：P，q∨「r，q→（p→s）。 结论：r→s.
1个回答
展开全部
结论： q .推理过程 ( q) P（附加前提） 为什么要加否定？证明：A→(1.在结论前加否定是用的反证法， 当然也可以不用附加的，也可以做的 2.
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
