构造推理证明: 前提:(p∧q)→r,非r∨s,非s,p 结论:非q 这是离散数学内容,谢谢!... 这是离散数学内容,谢谢! 展开 我来答 可选中1个或多个下面的关键词,搜索相关资料。也可直接点“搜索资料”搜索整个问题。 构造 推理 证明 搜索资料 1个回答 #合辑# 机票是越早买越便宜吗? 永不0堕落 2015-04-10 · TA获得超过870个赞 知道小有建树答主 回答量:351 采纳率:0% 帮助的人:226万 我也去答题访问个人页 关注 展开全部 -s→-r-r→-(p 并且 q)-(p 并且 q)→p或q所以,只要p,就可以→=-q 本回答被网友采纳 已赞过 已踩过< 你对这个回答的评价是? 评论 收起 推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询 其他类似问题 2013-06-28 离散数学题 构造推理证明:前提p→q,非r→p,非q,结论r... 2016-10-03 前提:(p∧q)→r,非r∨s,非s,p 结论:非q 2016-10-24 离散数学,用附加前提法证明 前提:p→(q→r),(r∧s)... 1 2012-07-10 构造命题逻辑的形式证明前提p->q,(非q∧r)∧非r,非(... 2010-11-01 离散数学问题: 用附加前提法证明下面的推理: 前提:P,q∨... 1 2018-10-05 假设推理系统证明下列公式为定理 ((P∧Q)→R)→(P→(... 1 2009-07-05 离散数学 2 2016-12-25 证明 前题:Q, ┐P→R, P→S, ┐S 结论: Q∧R 更多类似问题 > 为你推荐: