题目是“我聪明或幸运”.“我不幸运”.“若我幸运,则我将赢得抽奖”这是我做了结果令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(析取三段论)
\x05 4.q→r 前提导入
\x05 5.p∧(q→r) 这里是结论
我感觉结果不对,但是手头没答案,