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

时间:2024-04-30 12:53:24 5A范文网 浏览: 平时作业 我要投稿

问题描述:

离散数学推理证明中前提: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

Have some water.(改为否定句)04-30

Fire gives us heat and light.(改为一般疑问句)04-30

1.从古德曼和部里藤等的研究结果里,你能得出怎样的结04-30

近年来,国家提出了将劳动教育(Labor Education)纳入中小04-30

根据下面的提示,介绍一下John的假期。 上周John和父母04-30

shoes,buy,Sam,to,a,wants,of,pair(.)04-30

in any are trees your there school tall(?)04-30

热搜文章
最新文章