已知若A不是B，则C是D。C不是D，因为A是B。推理是否有效？为什么？

可令p表示A是B，q表示C是D，则该推理可以进一步符号化为（﹁p→q）∧p├﹁q，这属于充分条件推理的否定前件式，是无效的。

略