试题详情
简答题已知若A不是B,则C是D。C不是D,因为A是B。推理是否有效?为什么?
  • 可令p表示A是B,q表示C是D,则该推理可以进一步符号化为(﹁p→q)∧p├﹁q,这属于充分条件推理的否定前件式,是无效的。
  • 关注下方微信公众号,在线模考后查看

热门试题