离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明

问题描述：

离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明

---

最佳答案：

你的题目有错,改改：
前提：A→B,┐B；
结论：┐A
推理证明
1）A→B 前提引入
2）┐A∨B 1）等价置换
3）┐B 前提引入
4）┐A 2）3）析取三段式
得证.