问题描述：
离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明最佳答案：
你的题目有错,改改：
前提：A→B,┐B；
结论：┐A
推理证明
1）A→B 前提引入
2）┐A∨B 1）等价置换
3）┐B 前提引入
4）┐A 2）3）析取三段式
得证.
最佳答案：
题目：离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明
最佳答案：
关键字：