已知若A不是B,则C是D。C不是D,因为A是B。推理是否有效?为什么?
可令p表示A是B,q表示C是D,则该推理可以进一步符号化为(﹁p→q)∧p├﹁q,这属于充分条件推理的否定前件式,是无效的。
免费的网站请分享给朋友吧