离散数学逻辑推理时什么时候可以用”附加条件”?还有怎样用附加条件
问题描述：
离散数学逻辑推理时什么时候可以用”附加条件”?
还有怎样用附加条件
答
1 用CP规则证明时.例如：前提 A→B,B→C,结论A→C证明:(1) A P(附件前提) (2)A→B P(3) B T(1)(2)I(4)B→C P(5)C T(3)(4)I(6)A→C CP2 用反证法证明时.前提 A,A→B,结论 B证明：(1)┐B P(附件前提) (2)A→B P(3)┐B...