早教吧 育儿知识 作业答案 考试题库 百科 知识分享

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

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