《离散数学》证明题：证明R→S可从前提P→(Q→S)，┐R∨P和Q推出。
展开全部
前提引入，将R当做条件。
R，并且┐R∨P，所以P，又因为P→(Q→S)，所以(Q→S)，因为Q，所以S
得证。
R，并且┐R∨P，所以P，又因为P→(Q→S)，所以(Q→S)，因为Q，所以S
得证。
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
