11问答网
所有问题
离散数学推理证明
离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明
举报该问题
其他回答
第1个回答 2014-09-25
A包含于B等价于B可以推出A,所以非A推出非B
追问
你能用符号表示下吗
你能用符号表示下吗
追答
把“包含于”用包含符号代替,“可以推出”用推导箭头代替就好了。
第2个回答 2014-09-28
你的题目有错,改改:
前提:A→B,┐B;
结论:┐A
推理证明
1)A→B 前提引入
2)┐A∨B 1)等价置换
3)┐B 前提引入
4)┐A 2)3)析取三段式
得证。
本回答被网友采纳
相似回答
离散数学证明
方法有哪些
答:
离散数学以研究离散量的结构和相互间的关系为主要目标,其研究对象一般地是有限个或可数个元素,因此他充分描述了计算机科学离散性的特点。 2
离散数学证明
方法 直接证明法直接证明法是最常见的一种证明的方法,它通常用作证明某一类东西具有相同的性质,或者符合某一些性质必定是某一类东西。直接证明法有两种思路,第一种...
大家正在搜
离散数学推理理论
离散数学的证明题怎么做
离散数学构造性证明法
离散数学推理规则公式
离散数学中推论的证明
离散p规则t规则证明推理
离散数学12条推理规则
离散数学推理规则
离散数学格的相关证明