来自刘晔的问题
离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明
离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明
1回答
2020-02-06 17:58
离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明
离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明
你的题目有错,改改:
前提:A→B,┐B;
结论:┐A
推理证明
1)A→B前提引入
2)┐A∨B1)等价置换
3)┐B前提引入
4)┐A2)3)析取三段式
得证.