11问答网
所有问题
当前搜索:
离散数学证明等价式的方法
离散数学
吸收律
证明
答:
0) ∧ (P ∨ Q) = P ∨ (0 ∧ Q) = P ∨ 0 = P (P ∧ 1) ∨ (P ∧ Q) = P ∧ (1 ∨ Q) = P ∧ 1 = P 这里的 = 号要理解为公式上的逻辑
等价
。吸收律对相干逻辑、线性逻辑和亚结构逻辑不成立。在亚结构逻辑情况下,在恒等
式的
定义对的自由变量之间没有一一对应。
离散数学
中,为什么p only if q
等价
于p->q,而不是q->p呢?
答:
“only if”翻译成“仅当”,故“p only if q”表示“p仅当q”。q是必要条件,当然只能做后件了。①当p则q,翻译成p→q(“当”<if >修饰的是充分条件,作为前件)②仅当p则q,翻译成q→p(“仅当”<only if>修饰的是必要条件,作为后件)③p当且仅当q,翻译成p↔q(“当且...
大学
离散数学
问题
答:
sin2a>0 2kπ<2a<π+2kπ kπ<a<π/2+kπ k=2n 2nπ<a<π/2+2nπ 0<a<π/2 第一象限 k=2n+1 2nπ+π<a<π/2++π+2nπ π<a<3π/2 第三象限 sin(cosa)乘cos(sina)a第三象限 -1<cosa<0 -1<sina<0 第一象限2kπ<x<π/2+2kπ 第二象限π/2+2kπ...
离散数学证明
:若R1和R2是定义在A上的两个
等价的
二元关系,则R1·R2也...
答:
不是 比如A={1,2,3}上的关系 R1 = {<1,1>,<1,2>,<2,1>,<2,2>,<3,3>} R2 = {<1,1>,<2,2>,<2,3>,<3,2>,<3,3>} 都是
等价
关系,但 R1·R2 = {<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<2,3>,<3,2>,<3,3>} 就不是等价关系 ...
证明离散数学
中01矩阵,A同或(B同或C)
等价
于(A同或B)同或C
答:
这个用归纳法就行了。直接设ABC都相等时,都不相等时,AB等与C不等,AC等与B不等,BC等与A不等这5种情况然后
证明
就行了。
离散数学
推理题?
答:
其实,由于本题只涉及全称量词,而且只有一个变元,所以,完全可以用命题逻辑
的方法
解决:(1):A∧¬B→C;(2):D→¬B∧¬C;
证明
:根据(1)=>【¬(A∧¬B)∨C】=>【(¬A∨B)∨C】=>【(B∨C)∨¬A】=>【¬(B∨C)→¬A】=>【¬B∧¬C→¬A】再利用(2)...
[
离散数学
]推导如下命题公式是
等价的
。
答:
1.~(P^Q)→(~Pv(~PvQ))<=>~~(P^Q)v(~Pv(~PvQ))<=>(P^Q)v(~Pv~PvQ)<=>(P^Q)v(~PvQ)<=>(Pv(~PvQ))^(Qv(~PvQ))<=>(Pv~PvQ)^(Qv~PvQ)<=>T^(~PvQ)<=>~PvQ 2.(P→Q)^(R→Q)<=>(~PvQ)^(~RvQ)<=>(~P^~R)vQ <=>~(PvR)vQ <=>PvR→Q ...
离散数学
公式
答:
等值演算公式,1,A可为非非A(双重否定律)2,A可为AVA(幂等律)3,A可为A^A(幂等律)4,AVB可为BVA(交换律)5,A^B可为B^A(交换律)6,AV(BVC)可为(AVB)VC(结合律)7,A^(B^C)可为(A^B)^C(结合律)8,AV(B^C)可为(AVB)^(AVC)(分配律)9,A^(BVC)...
离散数学
题,
证明
,(A⊕B)⊕C=A⊕(B⊕C)
答:
A⊕(B⊕C)⇔(A-B⊕C)∪(B⊕C-A) 根据①做代换⇔(A-B-C)∪(A∩B∩C)∪(¬A∩B-C)∪(C-A-B) 分别根据③②做代换 显然两
式等价
所以(A⊕B)⊕C=A⊕(B⊕C)结合律成立 已赞过 已踩过< 你对这个回答的评价是? 评论 收起
离散数学证明
题
答:
1)aRa<==>a^-1*a=1∈H,2)若aRb,则bRa.事实上,(b^-1*a)^-1=a^-1*b∈H,H是G的 子群 ,∴b^-1*a∈H.3)若aRb,bRc,则 a^-1*b∈H,b^-1*c∈H,∴(a^-1*b)(b^-1*c)=a^-1*c∈H,于是aRc.综上,R是
等价
关系。
棣栭〉
<涓婁竴椤
17
18
19
20
22
23
24
25
26
涓嬩竴椤
灏鹃〉
21
其他人还搜