题目是“我聪明或幸运”.“我不幸运”.“若我幸运,则我将赢得抽奖”这是我做了结果令p=我聪明,q=我幸运,r=我赢得抽奖1.p∨q 前提导入\x05 2.┐q\x05前提引入\x05 3.p\x05我聪明\x05(析取三段论)\x0

题目是“我聪明或幸运”.“我不幸运”.“若我幸运,则我将赢得抽奖”这是我做了结果令p=我聪明,q=我幸运,r=我赢得抽奖1.p∨q 前提导入\x05 2.┐q\x05前提引入\x05 3.p\x05我聪明\x05(析取三段论)\x0
题目是“我聪明或幸运”.“我不幸运”.“若我幸运,则我将赢得抽奖”
这是我做了结果
令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=我赢得抽奖1.p∨q 前提导入\x05 2.┐q\x05前提引入\x05 3.p\x05我聪明\x05(析取三段论)\x0
很明显,“我聪明”这个命题没有任何用处,推理有问题.如果把“我不幸运”改为“我不聪明”,推理才有意义.
前提：我聪明或幸运.我不聪明.若我幸运,则我将赢得抽奖.
结论：我赢得抽奖.
符号化：
令p：我聪明,q：我幸运,r：我赢得抽奖
前提：p∨q,┐p,q→r.
结论：r.

证明：
1 p∨q
2 ┐p
3 q 12析取三段论
4 q→r
5. r 34假言推理