问题
问答题 简答题
已知若A不是B，则C是D。C不是D，因为A是B。推理是否有效？为什么？
答案
参考答案：
可令p表示A是B，q表示C是D，则该推理可以进一步符号化为（﹁p→q）∧p├﹁q，这属于充分条件推理的否定前件式，是无效的。
搜题请搜索小程序“爱下问搜题”
已知若A不是B，则C是D。C不是D，因为A是B。推理是否有效？为什么？
参考答案：
可令p表示A是B，q表示C是D，则该推理可以进一步符号化为（﹁p→q）∧p├﹁q，这属于充分条件推理的否定前件式，是无效的。