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

题目

---

相似考题