离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明

2023-04-27

问题描述:

离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明


最佳答案:

你的题目有错,改改:
前提:A→B,┐B;
结论:┐A
推理证明
1)A→B 前提引入
2)┐A∨B 1)等价置换
3)┐B 前提引入
4)┐A 2)3)析取三段式
得证.

相关推荐