問答題

【簡答題】已知若A不是B,則C是D。C不是D,因?yàn)锳是B。推理是否有效?為什么?

答案: 可令p表示A是B,q表示C是D,則該推理可以進(jìn)一步符號化為(﹁p→q)∧p├﹁q,這屬于充分條件推理的...
微信掃碼免費(fèi)搜題