来自刘晔的问题
离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明
离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明
你的题目有错,改改：
前提：A→B,┐B；
结论：┐A
推理证明
1）A→B前提引入
2）┐A∨B1）等价置换
3）┐B前提引入
4）┐A2）3）析取三段式
得证.
大家都在问
最新问答
海冰含盐量接近淡水，...2020-12-30
三峡游山峰一下子就被...2020-12-30
二元一次方程简单的配...2020-12-30
【偏裨将校是什么意思...2020-12-30
如图秒表的读数为__...2020-12-30
____abigfi...2020-12-30
【知道本金和税后利息...2020-12-30
《一百条裙子》读后感...2020-12-30
利用矩阵解二元一次方...2020-12-30
【英语中的peasa...2020-12-30