题目是“我聪明或幸运”.“我不幸运”.“若我幸运,则我将赢得抽奖”
问题描述：
题目是“我聪明或幸运”.“我不幸运”.“若我幸运,则我将赢得抽奖”
这是我做了结果
令p=我聪明,q=我幸运,r=我赢得抽奖
1.p∨q 前提导入
\x05 2.┐q\x05前提引入
\x05 3.p\x05我聪明\x05(析取三段论)
\x05 4.q→r 前提导入
\x05 5.p∧(q→r) 这里是结论
我感觉结果不对,但是手头没答案,
答
很明显,“我聪明”这个命题没有任何用处,推理有问题.如果把“我不幸运”改为“我不聪明”,推理才有意义.前提：我聪明或幸运.我不聪明.若我幸运,则我将赢得抽奖.结论：我赢得抽奖.符号化：令p：我聪明,q：我幸运,r：...“我聪明或幸运”。“我不幸运”。“若我幸运，则我将赢得抽奖”老大，这个题是离散数学及其应用 第六版 翻译版的原题啊，难道是作者翻译错了？我是刚学离散数学，我说我怎么推不出来呢估计题目的意思就是让你去推导，根据已知的前提能够推出什么样的结论。你的结论是正确的，不过这样的结论很明显太繁琐，修改一下会更好。