构造证明附加前提证明法 欲证明 前提:A1,A2…,Ak 结论:C、B 等价地证明 前提:A1,A2,…,4,C 结论:B 理由:(41~42…4)→>(C→B -(41~42…^4kV(CVB) 兮一(A1~A2… AAKAC)VB 17042 4kC)→>B 1313 构造证明——附加前提证明法 欲证明 前提：A1 , A2 , …, Ak 结论：C→B 等价地证明 前提：A1 , A2 , …, Ak , C 结论：B 理由： (A1A2…Ak )→(C→B)  ( A1A2…Ak )(CB)  ( A1A2…AkC)B  (A1A2…AkC)→B