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