结构推理 设有前提：￢P∨￢Q，￢P→A，A→￢B，证明结论：B→￢Q．
【正确答案】15．证明  (1)￢P→A    P
   (2)A→￢B    P
   (3)￢P→￢B    (1)(2)T，I
   (4)B     P(假设前提)
   (5)P∨￢B    (3)
   (6)P    (4)(5)T，I
   (7)￢P∨￢Q   P
   (8)￢Q    (6)(7)T、I
   (9)B→￢Q    CP
   所以结论有效．
【答案解析】