用CP规则证明以下各式:(1)¬AⅤB,C→¬B⊦A→¬C;(2)A→(B→C),(C⋀D)→¬E,¬F→(D⋀¬E)⊦A→(B
用CP规则证明以下各式:
(1)¬AⅤB,C→¬B⊦A→¬C;
(2)A→(B→C),(C⋀D)→¬E,¬F→(D⋀¬E)⊦A→(B→F)。
【正确答案】：
(1)¬AⅤB,C→¬B⊦A→¬C;
(2)A→(B→C),(C⋀D)→¬E,¬F→(D⋀¬E)⊦A→(B→F)。
【正确答案】：
(1)¬AⅤB,C→¬B⊦A→¬C
证明：(1)¬AⅤB P规则
(2)A CP规则
(3)B T(1)(2)I10
(4)C→¬B P规则
(5)B→¬C T(4)E18
(6)¬C T(3)(5)11
(2)