A、B、c三位同学一起做一道数学题,三人得出三种不同答案。现已知:(1)如果A的答案正确,则B的答案不正确;(2)B和C中至少有一人答案正确;(3)A和c中至少有一人答案不正确。请问:A的答案是否正确?写出推导过程(设:A表示“A答案正确”,表示“A答案不正确”,其他类同)。
A、B、c三位同学一起做一道数学题,三人得出三种不同答案。现已知:(1)如果A的答案正确,则B的答案不正确;(2)B和C中至少有一人答案正确;(3)A和c中至少有一人答案不正确。请问:A的答案是否正确?写出推导过程(设:A表示“A答案正确”,表示“A答案不正确”,其他类同)。
【正确答案】:(1)→┐B已知前提(2)BVC 已知前提(3)┐AV┐C 已知前提(4)A 假设(5)┐B 由(1)(4)得,根据充分条件假占推理的肯定前件式(6)C 由(2)(5)得,根据选言推理的否定肯定式(7)┐A 由(3)(6)得,理由同上(8)A˄┐A由(4)(7)得,根据联言推理的合成式(9)┐A (8)为逻辑矛盾,表明(4)的假设为假所以,A的答案不正确。
Top