作业帮 > 数学 > 作业

逻辑强的大师进哈!

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/05/16 19:58:38
逻辑强的大师进哈!
答案:李四、王五参加,孙六不参加.
证明:
第一步:根据已知5,钱七参加,所以根据充分条件假言推理的否定后件式和已知4可知,王五参加.
第二步:由于王五参加,所以同样根据充分条件假言推理的否定后件式和已知3可知,李四参加.
第三步:根据已知2,张三不参加,所以根据必要条件假言推理的否定前件式和已知1可知,并非李四、王五、孙六都参加.
第四步:由并非李四、王五、孙六都参加可知,或者李四不参加,或者王五不参加,或者孙六不参加.
第五步:现已推出李四参加且王五参加,所以根据相容选言推理的否定肯定式可知,孙六不参加.
再问: 哇 好快哦 请问否定前件式和后件式是什么意思呢?
再答: 充分条件假言命题是指:如果……那么……,对充分条件假言推理有两种有效方式,一种是肯定前件式,即:如果A,那么B,现已知A,于是可推出B。另一种是否定后件式,即:如果A,那么B,现已知非B,所以可推出非A。 必要条件假言命题是指:只有……才……,对必要条件假言推理也有两种有效方式,一种是否定前件式,即:只有A,才B,现已知非A,于是可推出非B。另一种是肯定后件式,即:只有A,才B,现已知B,所以可推出A。