离散数学 50
证明：如果天气很好并且他没有去公司，他必去钓鱼。如果他去公司，他会乘1路公交车。今天天气很好。他没有乘1路公交车，所以他去钓鱼。十分内有效。...
证明：如果天气很好并且他没有去公司，他必去钓鱼。如果他去公司，他会乘1路公交车。今天天气很好。他没有乘1路公交车，所以他去钓鱼。十分内有效。
展开
展开全部
先符号化。P：今天天气很好，Q：他去公司了，R：他去钓鱼，S：他乘1路公交车
前提：P∧┐Q→R，Q→S，P，┐S
结论：R
证明：
1 ┐S
2 Q→S
3 ┐Q 12拒取式
4 P
5 P∧┐Q 34合取
6 P∧┐Q→R
7 R 56假言推理
前提：P∧┐Q→R，Q→S，P，┐S
结论：R
证明：
1 ┐S
2 Q→S
3 ┐Q 12拒取式
4 P
5 P∧┐Q 34合取
6 P∧┐Q→R
7 R 56假言推理
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
