离散数学逻辑推理时什么时候可以用”附加条件”?还有怎样用附加条件

刘寅虎回答：

　　1用CP规则证明时.例如：前提A→B,B→C,结论A→C证明:(1)AP(附件前提)(2)A→BP(3)BT(1)(2)I(4)B→CP(5)CT(3)(4)I(6)A→CCP2用反证法证明时.前提A,A→B,结论B证明：(1)┐BP(附件前提)(2)A→BP(3)┐B...