问题描述:
离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明最佳答案:
你的题目有错,改改:
前提:A→B,┐B;
结论:┐A
推理证明
1)A→B 前提引入
2)┐A∨B 1)等价置换
3)┐B 前提引入
4)┐A 2)3)析取三段式
得证.
来源:网络整理 免责声明:本文仅限学习分享,如产生版权问题,请联系我们及时删除。
相关文章:
(10分)某校(100ºE)地理兴趣小组用立竿见影的方法04-30
如图为2013年1月14日我国东部部分城市空气质量日报图.04-30
These pineapples are rough.(改为否定句,但意思不变)04-30
Fire gives us heat and light.(改为一般疑问句)04-30
1.从古德曼和部里藤等的研究结果里,你能得出怎样的结04-30
近年来,国家提出了将劳动教育(Labor Education)纳入中小04-30
根据下面的提示,介绍一下John的假期。 上周John和父母04-30