问题描述：
离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明
最佳答案： 你的题目有错,改改：
前提：A→B,┐B；
结论：┐A
推理证明
1）A→B 前提引入
2）┐A∨B 1）等价置换
3）┐B 前提引入
4）┐A 2）3）析取三段式
得证.
版权声明
声明：有的资源均来自网络转载，版权归原作者所有，如有侵犯到您的权益
请联系本站我们将配合处理！