问答题 用CP规则证明上题中的式(1)、(2)、(3).
【正确答案】(1)①A    P(附加前提)
   ②¬A∨B    P
   ③B    ①②T,I
   ④C→¬B    P
   ⑤¬C    ③④T,I
   ⑥A→¬C    CP
   (2)①A    P(附加前提)
   ②A→(B→C)    P
   ③B→C    ①②T,I
   ④B    P(附加前提)
   ⑤C    ③④T,I
   ⑥(C∧D)→E    P
   ⑦C→(D→E)    ⑥T,E
   ⑧D→E    ⑤⑦T,I
   ⑨¬D∨E    ⑧T,E
   ⑩¬(D∧¬E)    ⑨T,E
   (11)¬F→(D∧¬E)    P
   (12)F    ⑩(11)T,I
   (13)B→F    ④(12)T,I
   (14)A→(B→F)    CP
   (3)①A    P(附加前提)
   ②A∨B    ①T,I
   ③A∨B→C∧D    P
   ④C∧D    ②③T,I
   ⑤D    ④T,I
   ⑥D∨E    ⑤T,I
   ⑦D∨E→F    P
   ③F    ⑥⑦T,I
   ⑨A→F    CP
【答案解析】