已知若A不是B,则C是D。C不是D,因为A是B。推理是否有效?为什么?
出自:哲学