问答题

简答题 已知若A不是B,则C是D。C不是D,因为A是B。推理是否有效?为什么?

【参考答案】

可令p表示A是B,q表示C是D,则该推理可以进一步符号化为(﹁p→q)∧p├﹁q,这属于充分条件推理的......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)