构造下面推理的证明
问题描述:
构造下面推理的证明
今晚我去剧场看戏或者去夜大上课;如果我去剧场看戏,那么我很高兴;如果我去夜大上课,那么我要吃个鸡蛋;由于我没有吃鸡蛋,所以我很高兴.
答
事件:
A:我去剧场看戏
B:我去上夜大上课
C:我很高兴
D:我要吃个鸡蛋
.
前提条件是有三个:
1.若A则非B(若B则非A)
2.若A则C;
3.若B则D;
判断:
一.由前提3.可知,若非D则非B(逆否命题)
二.由前提1.可知,由若A则非B并不能推导若非B则A的结论(命题与否命题的关系)
三.可见,由若非D可以推导出非B,但由非B并不能推导出A的结论,所以若非D就不能推导出C的结论.
由上可知,仅从上面的条件上看,“我没有吃鸡蛋”和“我很高兴”之间并没有必然的因果关系.