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

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

申功璋回答:
  你的题目有错,改改:   前提:A→B,┐B;   结论:┐A   推理证明   1)A→B前提引入   2)┐A∨B1)等价置换   3)┐B前提引入   4)┐A2)3)析取三段式   得证.
查看更多
数学推荐
热门数学推荐