问题标题：
离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明
问题描述：
离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明
申功璋回答：
你的题目有错,改改：
前提：A→B,┐B；
结论：┐A
推理证明
1）A→B前提引入
2）┐A∨B1）等价置换
3）┐B前提引入
4）┐A2）3）析取三段式
得证.
点击显示
数学推荐
热门数学推荐