离散数学P∨Q→R=>P∧Q→R用反证法和直接法证明

ilovesoft2022-10-04 11:39:542条回答

已提交,审核后显示!提交回复

共2条回复
xx_ 共回答了16个问题 | 采纳率87.5%
题中符号就是学过的交和并嘛!用那种思想试试
1年前
南云2007 共回答了5个问题 | 采纳率
你确定问题没错吧
1年前

相关推荐

离散数学命题符号化?将下列命题符号化?1.或者你没有给我写信,或者它在路上丢了.2.如果上午不下雨,我就去看电影,否则我
离散数学命题符号化?
将下列命题符号化?
1.或者你没有给我写信,或者它在路上丢了.
2.如果上午不下雨,我就去看电影,否则我就在家里看书或看报纸.
3.我今天进城,除非下雨.
4.如果太阳没出来,则或者下雨或者阴天而且温度下降.
5.指南针永指南北,除非他傍边有磁铁.
6.说逻辑枯燥无味和毫无价值是不对的.
7.人不犯我,我不犯人;人若犯我,我必犯人.
hhwangd1年前1
娃哈哈2p230 共回答了20个问题 | 采纳率95%
1.P=你给我写信,Q=丢在了路上 P V Q
2.P=不下雨看电影,Q=在家看书 ┐P->Q
3.P=今天进城,Q=下雨 ┐P->Q
4.P=太阳没出来,Q=下雨或者阴天 ┐P->Q
5.P=指南针永指南北Q=他傍边有磁铁 ┐P->Q
6.P=逻辑枯燥无味毫无价值 ┐P
7.P=人犯我 Q=我犯人 (┐P ∩┐Q)∪(P∩Q)
离散数学关于树叶的问题树T有2个4度顶点,3个3度顶点,其余顶点全是树叶,问T有几片树叶?
gonglengxie1年前1
单身tt却有错 共回答了12个问题 | 采纳率83.3%
不妨设有X个树叶,则有:
4*2+3*3+X=2*(5+X-1)
解得:X=9
离散数学的图论中,为什么以v为头的弧的数目叫做入度,以v为尾的叫做出度呢.总是记不住为头的的叫入度
离散数学的图论中,为什么以v为头的弧的数目叫做入度,以v为尾的叫做出度呢.总是记不住为头的的叫入度
总是记不住为头的的叫入度还是出度.
麻叶层层1年前2
xiaocui2 共回答了21个问题 | 采纳率95.2%
对于有向图,以v为头的弧就是指向v的弧,其数目是入度;以v为尾的弧实际上是从v发出的弧,其数目是出度.
有向图中的弧头是该边所指向的一侧端点,可以理解为箭头.
英语翻译谁能帮我翻译一下,非常感激本文旨在用数据结构中堆栈和二叉树的知识,实现离散数学中的命题逻辑演算公式在不同的真值指
英语翻译
谁能帮我翻译一下,非常感激
本文旨在用数据结构中堆栈和二叉树的知识,实现离散数学中的命题逻辑演算公式在不同的真值指派下真值情况.
本文先整体规划、重点分析,使用程序流程图以实现不盲目准备知识,增强了其可读性;接着使用谓词逻辑符号化命题逻辑,不仅保证了命题演算公式的预备知识完整性,而且真实的再现和丰富了其趣味性;然后介绍数据结构中的堆栈和二叉树知识,重点突出,为其算法实现提供了有力的工具;最后在表达式中括号的匹配和表达式计算基础上,巧妙实现主函数的过度,保证了其紧凑性.
本文还通过介绍了Visual C++环境下实现C程序的方法,说明算法的正确性;通过人机对话的方式实现了算法的健壮性,为避免用户输入的不规范和机器演算的正确性,先后测试表达括号匹配、将中缀表达式转化成机器能识别的后缀表达式、运用堆栈存在二叉树中、依照逻辑运算规则实现命题演算公式的真值指派和真值判断测试;通过算法的时间和空间复杂分析,实现程序的高效性.
最后本文在实现等价式、重言式、矛盾式等问题时,为避免频繁的输入和输入对主函数的部分进行了改进.
jakey36491年前1
小妖婷婷 共回答了21个问题 | 采纳率85.7%
This paper aims to use data structures stack and the binary tree's knowledge and realizing the discrete mathematic calculation formula in different proposition logic under the true value assigned the true value.
This paper first overall planning, key analysis program flowchart, use to achieve not blind prepare knowledge, and to enhance its readability; Then use predicate logic, not only ensure symbolic proposition logic propositions calculus formula preparation, and true knowledge integrity reappearing and enriched its interesting; Then introduces the data structure stack and the binary tree knowledge, highlight, for its algorithm provides a powerful tool; Finally in parentheses in the expression of matching and expression computing foundation, the ingenious realize the main () function is excessive, ensure the compact.
This paper also introduces the Visual C + + environment, the method of realizing C program that the correctness of the algorithm; Through the man-machine dialogue means to realize the algorithm's robustness, to avoid user input is not standard and the correctness of the machines render, successively test express parentheses matching, will midfix expression into machine can identify suffixes expressions, using the stack exist binary tree in accordance with logic operation rules, realized the true value proposition calculus formula assign and true value judgment test; Through the algorithm of time and space are complex analysis, realize the program's efficiency.
Finally, this paper in the realization of the equivalent type, such as type tautology type, contradictions, to avoid frequent input and input to the main () function improved the part.
【离散数学】任一无限集合都存在与自己等势的真子集——这句话是错的吧?
乞丐兄1年前1
唉叹口气 共回答了20个问题 | 采纳率90%
是对的
A是任一无限集合,a属于A
那么A的真子集A-a与A等势
离散数学p→(p→q)p→q这个怎么推?还有这个p∨p,p∧p值是多少
4uo61年前1
twinkle_fire 共回答了16个问题 | 采纳率93.8%
p→(p→q) ┓p∨(┓p∨q) ( ┓p∨┓p)∨q ┓p∨q p→q
p∨p p
p∧p p
离散数学化简命题公式的问题这个命题公式使用真值表判断为永真式,请问如何化简?
雪落飞花1年前1
就怕查体 共回答了16个问题 | 采纳率93.8%
化简为主析取范式·
离散数学函数与等价关系题1. 设X={1,2,3,4,5}、Y={3,4}和C={1,3}.在X的所有子集构成的集合P(
离散数学函数与等价关系题
1. 设X={1,2,3,4,5}、Y={3,4}和C={1,3}.在X的所有子集构成的集合P(X)上定义关系R,ARB当且仅当AUY=BUY.(1) 证明R是一个等价关系. (2)列出含有C的等价类【C】的元素. (3)有多少个不同的等价类?
2. 函数的定义域是实数集.判断函数是不是单射(一对一)或满射(映上),加以证明.
f(n) = ┌n/2┐
写下过程,帮助下理解,谢谢.
summersunlining1年前1
kjpzfb 共回答了12个问题 | 采纳率100%
1.
(1)证明等价关系 ⇔ 证明自反性 对称性 传递性
ARB ⇔ AUY=BUY
显然有 ARA⇔ AUY=AUY 即满足自反性
ARB ⇔ AUY=BUY ⇔ BUY=AUY ⇔ BRA
即ARB ⇔ BRA,满足对称性

ARB ⇔ AUY=BUY
BRC ⇔ BUY=CUY
立即可得AUY=BUY=CUY
即AUY=CUY ⇔ ARC
即ARC也满足关系R,说明R具有传递性
总之,R是等价关系
(2){1,3},{1,4},{1,3,4},{1}
(3)共有8个不同的等价类,分别为
{3},{4},{3,4},∅
{1,3},{1,4},{1,3,4},{1}
{2,3},{2,4},{2,3,4},{2}
{5,3},{5,4},{5,3,4},{5}
{1,2},{1,2,3},{1,2,4},{1,2,3,4}
{1,5},{1,5,3},{1,5,4},{1,5,3,4}
{2,5},{2,5,3},{2,5,4},{2,5,3,4}
{1,2,5},{1,2,3,5},{1,2,4,5},{1,2,3,4,5}
2.
f(1)=1
f(2)=1
f(1)=f(2),说明不是单射
f的值域是整数集
由于针对任意的整数y,都能使得f(2y)=y,所以f是满射
离散数学命题有关书上的例题:1.这件事不是小王干的,就是小李干的,表示为p或q,2他要么在打球要么在看书,表示为p且非q
离散数学命题
有关书上的例题:1.这件事不是小王干的,就是小李干的,表示为p或q,2他要么在打球要么在看书,表示为p且非q并非p且q,或者表示为不可兼或.为什么2句的逻辑形式有差距?我觉得2句都一个逻辑啊←_←求解释
贞子ing1年前1
大漠红胡 共回答了21个问题 | 采纳率85.7%
本来就是一个意思,你画个维恩图就发现其实是一样的
p,q就是两不相交的圆
离散数学的逻辑推理,求按格式解答下案例分析的第一问QAQ
闭了眼让你走1年前1
aa1984 共回答了24个问题 | 采纳率100%
设:
P:甲作案 Q:作案时间在上班时间
S:乙证词正确 T:大门上锁
由题意得,数理逻辑表达式为
P→┐Q,S→┐T ,┐S→Q,T
(1) T P
(2) S→┐T P
(3) T→┐S T(2)E
(4) ┐S T(1)(3)I
(5) ┐S→Q P
(6) Q T(4)(5)I
(7) P→┐Q P
(8) Q →┐P T(&)E
(9) ┐P T(6)(8)I
可知不是甲作案,从题意可得是乙作案.
离散数学中的复合关系.因为是自学的,基础不好.有一个看不懂
离散数学中的复合关系.因为是自学的,基础不好.有一个看不懂
设R是由A={1,2,3,4}到B={2,3,4}的关系,S 是由B到C={3,5,6}的关系,分别定义为R={|a+b=6}={,,}
s={|b整除c}={,,}
于是复合关系为R.S={,,}
(我看不懂的是为什么复合关系是R.S={,,}
纤离之马1年前0
共回答了个问题 | 采纳率
离散数学二元关系具有什么性质5、设A={1,2,3},A上的二元关系R={,,,,,},则R具有(   ).A.自反性
离散数学二元关系具有什么性质
5、设A={1,2,3},A上的二元关系
R={,,,,,},
则R具有(   ).
A.自反性  B.对称性  C.反对称性  D.传递性
蓝玄冰之泪1年前2
水中捞月淼淼 共回答了17个问题 | 采纳率100%
D
A很容易排除,没有
B有没,排除
C有,对称,所以不是反对称
离散数学理想环的题!设D1和D2是环R的理想,证明D1交D2,D1+D2也都是R的理想,其中D1+D2={d1+d2 |
离散数学理想环的题!
设D1和D2是环R的理想,证明D1交D2,D1+D2也都是R的理想,其中D1+D2={d1+d2 | d1属于D1,d2属于D2}
慕容晚枫1年前2
slilililili 共回答了13个问题 | 采纳率84.6%
设D1和D2是环R的理想
对于任意r属于R,任意a属于D1交D2,
因为a属于D1,所以ra属于D1,且a属于D2,
所以ra属于D2,所以ra属于D1交D2..即D1交D2是R的理想.
对于任意r属于R,任意d1属于D1,任意d2属于D2,
因为D1和D2是环R的理想,所以rd1属于D1,rd2属于D2,
所以rd1+rd2属于D1+D2,即r(d1+d2)属于D1+D2,即D1+D2是R的理想
离散数学全称量词和存在量词题目:答案:a) The assertion “Every winter day is col
离散数学全称量词和存在量词

题目:

答案:a) The assertion “Every winter day is cold and dark.” can be expressed
∀(d), winter(d) ⇒ cold(d) ∧ dark(d) .
b) The assertion “No day is cold when it is not winter.” can be expressed
¬∃(d), ¬winter(d) ∧ cold(d).


a问懂,但是b问弄不明白,求大神解释一下!另外b问有其他表达方式吗?


fire03171年前1
h9ep2 共回答了11个问题 | 采纳率100%
理解为不是冬天就不冷,即存在一个不是冬天的天,那么这个天一定不冷,即b的意思
b还可以理解为所有的冬天都冷,
离散数学关于对称与反对称书上有定义 反对称性:“若∈R,且x≠y,则不属于R” 那么现有关系R={}为什么既是对称又是反
离散数学关于对称与反对称
书上有定义 反对称性:“若∈R,且x≠y,则不属于R” 那么现有关系R={}为什么既是对称又是反对称?
浪花家族首领1年前1
情感半岛_oo 共回答了15个问题 | 采纳率66.7%
从命题逻辑的角度来说,上述定义是个蕴涵式命题:p→q.当p假时,命题恒真.这里,R中没有出现x≠y时的,所以p假,命题真,满足定义.
对于对称性的定义,一样判断出R满足定义.
综上,如果R中只有的元素,R即有对称性又有反对称性.
可能和离散数学有关吧,我概率什么的忘得差不多了.TOT
可能和离散数学有关吧,我概率什么的忘得差不多了.TOT
假设对一个物品进行升级,初始是1级,从1级升到2级有60%的成功率,40%几率失败;从2级到3级有40%成功率,30%几率失败,30%几率失败降回1级;从3级到4级有25%成功率,25%几率失败,50%几率降回2级.
求解一般性情况下这件物品从1级成功升级到4级所需要的升级次数的数学期望.
TennesseeFrog1年前0
共回答了个问题 | 采纳率
关于离散数学的自反问题在整数集Z上的小于等于关系是自反的这句话里面的小于等于关系是什么意思?还有类似的包含关系是什么意思
关于离散数学的自反问题
在整数集Z上的小于等于关系是自反的
这句话里面的小于等于关系是什么意思?
还有类似的包含关系是什么意思?
希望给几个例子
新隆基1年前2
Rachel1552 共回答了19个问题 | 采纳率100%
设有一个关系R,集合A,如果A中的任意元素x都满足:xRx,则关系R是自反的.
就用的例子来说,在整数集中,任意取一个数字x,都满足:x小于等于x
所以:小于等于关系是自反的.
假设有一个集合A={1,2,3,a,b,c} B={1,2,b}
则A包含B,B包含于A
B中所有的元素都能在A中找到
在离散数学中问题关于relation的问题
在离散数学中问题关于relation的问题
If the relation R is defined on the set Z where aRb means that ab > 0,then R is an equivalence relation on Z.是对是错,说明理由
chengyi_19791年前1
残缺的天堂路 共回答了21个问题 | 采纳率85.7%
Equivalence的充要条件是reflexivity,symmetry和transitivity,这个你知道的吧?下面就一个条件一个条件地验证.首先reflexivity:aRa不一定成立,因为题目只说a是整数,这样就可以取0,a^2就等于0了,而不是大于0.一个反例就能说明错了.不过如果题目里改成ab≥0那就是对的了.
离散数学证明题设置代数系统这里* 是定义A上的二元运算.A中存在么元e.而且每个元素都有左逆元.如果*是可结合的.那么这
weirs1年前2
绝好男人 共回答了13个问题 | 采纳率84.6%
设a,b,c属于A,b是a的左逆元,c是b的左逆元,则有ba=cb=e,于是得
ab=(ea)b=((cb)a)b=c(ba)b=ceb=cb=e
故b也是a的右逆元,即b是a的逆元,如果b'也是a的逆元,则
b'=b'(ab)=(b'a)b=eb=b
故a的逆元是唯一的.
离散数学命题逻辑推理题条件:非p→非q,p→r,非s∨q 结论:s→r
憧憬20601年前2
envogue 共回答了15个问题 | 采纳率86.7%
前提:┐p→┐q,p→r,┐s∨q
结论:s→r
证明:
① s
② ┐s∨q
③ q
④ ┐p→┐q
⑤ ┐┐p
⑥ p
⑦ p→r
⑧ r
(每一步理由交给你了)得证.
离散数学化简命题(A∨B∨C)∧(┐A∧B∧C)命题如何化简,
立宗文林1年前1
windows2 共回答了11个问题 | 采纳率90.9%
(A∨B∨C)∧(┐A∧B∧C)
=(A∧(┐A∧B∧C))∨(B∧(┐A∧B∧C))∨(C)∧(┐A∧B∧C))(交对并分配律)
=(A∧┐A∧B∧C)∨(B∧┐A∧B∧C)∨(C∧┐A∧B∧C)
=F∨(┐A∧B∧C)∨(┐A∧B∧C)(F是逻辑假,有时写为0)
=(┐A∧B∧C)∨(┐A∧B∧C)(幺律,F与任意公式取并保持公式不变)
=┐A∧B∧C(幂等律)
离散数学球和杯子问题,数学帝进m个不同的球放n个不同的杯子,每个杯子至少2个球,一共多少种可能 (m>2n)请用m,n或
离散数学球和杯子问题,数学帝进
m个不同的球放n个不同的杯子,每个杯子至少2个球,一共多少种可能 (m>2n)
请用m,n或sterling数表示.
这是离散数学大考最后一题- -
chengqi2301年前3
人心险恶 共回答了19个问题 | 采纳率89.5%
数学帝的解题策略是
step1:从m个球中挑出2n个 有(C上标2n下标m)种选择,记为A
step2:将这2n个球分成n组放进盒子里 有(C上标n下标2n)种选择,记为B
step3:剩下的m-2n个球可放入任意盒,则每球有n个选择 即n的m-2n次方,记为P
final step
就是以上每个步骤的数字相乘啦,即A*B*P
本人非数学帝
求离散数学完整答案(左孝凌版)至少要到第七章图论,帮忙发到邮箱wthqqw@sina.com
夏天的小溪1年前1
jyj332 共回答了24个问题 | 采纳率91.7%
已发送,请查收。
是PDF格式的。
请教一道 基础题 离散数学 二元关系
请教一道 基础题 离散数学 二元关系
设A={a,b,c},B={1},求出所有由A到B的二元关系。
且听风吟7071年前1
瀚海雄风2016 共回答了19个问题 | 采纳率84.2%
A(a)=1
A(b)=1
A(c)=1
A(a)=(b)=1
A(a)=(c)=1
A(b)=(c)=1
A(a)=(b)=(c)=1
共7种
在离散数学,命题逻辑这里,那个推理的条件的集合,怎么念的?
在离散数学,命题逻辑这里,那个推理的条件的集合,怎么念的?
长的跟T差不多.
楚客朔侠1年前1
huahua_0026 共回答了20个问题 | 采纳率90%
汉语拼音:tao 四声或一声
证明偶数阶群必含2阶元.(离散数学)
证明偶数阶群必含2阶元.(离散数学)
请给出详细的证明过程,每一步后面写明依据或理由.
211700001年前1
暖_色调 共回答了16个问题 | 采纳率87.5%
构造法证明:
群阶为偶数(设为2n),则群中必有一元素a,a的2n阶为e,a 的1阶,2阶,一直到2n阶必在群中,a的n阶即为阶为2的元素.
正常方法:
根据Sylow第一定理:G是有限群,p是素数,如果p^k||G|,k>=0,那么G中一定有一个阶为p^k的子群.
令p=2,k=1,则G有一个2阶子群,所以G中一定有2阶元.
【离散数学】一颗树有2个4度顶点,3个3度顶点,其余是树叶,则改树中树叶的个数是多少?
jonyjin1年前1
ppnk5t 共回答了19个问题 | 采纳率89.5%
由树的性质知:顶点数为所有顶点度数加1
同时注意到树叶的度数为0
故:
总顶点数为:2×4+3×3+0+1=18
则 树叶个数为:18-2-3=13
请问离散数学中的UG、EG是什么英文单词的缩写
蓝色的音乐虫子1年前1
拉拉呀 共回答了18个问题 | 采纳率94.4%
ule of universal generalization UG rule of existential generalization EG
在离散数学中,“割点”的准确定义是什么?
tantalus011年前1
囡囡的搏客 共回答了16个问题 | 采纳率87.5%
在离散数学中,一个无向连通图,如果删除某个顶点后,变为非连通图,该顶点称为割点.
在离散数学中给出度数列 怎么判断是否可简单化?
空灵残剑1年前1
当里个当啊 共回答了16个问题 | 采纳率68.8%
利用奇数度节点的个数是偶数:
每个节点度数最多为(n-1),n为节点个数.如:
1、(0,1,1,2,3,3)可以构成简单无向图度数序列.
2、(2,3,3,4,4,5)就不能构成简单无向图度数序列.(奇数度节点的个数是3不是偶数)
3、(1,3,3,3)不能构成简单无向图度数序列.
4、(2,2,4)不能构成简单无向图度数序列.
离散数学中的闭包运算已知一个矩阵,怎样将他变成关于他的自反闭包,对称闭包(运用对称自反的矩阵特点吗,在变成对称闭包时候0
离散数学中的闭包运算
已知一个矩阵,怎样将他变成关于他的自反闭包,对称闭包(运用对称自反的矩阵特点吗,在变成对称闭包时候0和1怎样变,是将0全部变成1还是根据矩阵的情况来定)
jlxwanxaoying1年前1
vannessa0402 共回答了17个问题 | 采纳率94.1%
自反闭包,是将矩阵主对角线上元素全变成1
对称闭包,是将矩阵非主对角线上的1元素,转置后的元素(行列交换,,即位置与主对角线对称)也变成1,0元素不要管,即根据矩阵的情况来定
离散数学问题一个集合A{1,2,3},可以定义多少个偏序关系,这些偏序中有多少个全序?请问:上次您的解答是13个,其中6
离散数学问题
一个集合A{1,2,3},可以定义多少个偏序关系,这些偏序中有多少个全序?
请问:上次您的解答是13个,其中6个全序.我想问,哈斯图中是否允许独立的点?如果允许这个结论可能有问题,例如,1,2可比,而3是孤立的.到底是不是呢?还望解答,非常感谢!
百年何足道1年前1
那年的雨好大 共回答了19个问题 | 采纳率84.2%
1.po就是relation,relation就是set
{},{(1,2)} {(2,1)}……
无序1个
一个relation:6个
两个relation:12个
2.哈斯图中是否允许独立的点?不可以,因为独立点本身不能存在任何偏序关系,更不能求得极大,极小了.
这样回答就清楚了.
对任意集合A,B,C若A属于B且C包含B,则A属于C对吗?集合之间有属于关系吗?来自于大学离散数学
55544461年前2
沐浴心情 共回答了19个问题 | 采纳率94.7%
对的.
集合之间一般是包含关系.但是有的集合它的元素就是集合,比如{{1,2},{2,3}}.这样就出现了一个集合属于另外一个集合.
离散数学小项赋值与编码相同为真是什么意思 大项相反是什么意思 求学霸大神指点迷津
xuujj1年前1
超级小稻谷 共回答了14个问题 | 采纳率85.7%
以2个命题变项为例.真值1对应p,q,真值0对应非p与非q,那么小项的成真赋值就是小项中2个命题变项的编码排列,比如p∧q的成真赋值就是11,p∧(非q)的成真赋值就是10.而大项的成假赋值是大项中2个命题变项的编码排列,比如p∨q的成假赋值是把11相反为00,p∨(非q)的成假赋值是01
大学毕业好久都忘了呵呵!1.假定A是ECNU二年级的学生集合,B是ECNU必须学离散数学的学生的集合.请用A和B表示EC
大学毕业好久都忘了呵呵!
1.假定A是ECNU二年级的学生集合,B是ECNU必须学离散数学的学生的集合.请用A和B表示ECNU不必学习离散数学的二年级的学生的集合.
2.试求:
(1) P(f)
(2) P(P(f))
(3) P(P(P(f)))
3.在1~200的正整数中,能被3或5整除,但不能被15整除的正整数共有多少个?
hely19911年前1
wutong76154363 共回答了16个问题 | 采纳率81.3%
1.A-B=AB'.其中B'是B的补集.
2.P?
3.在1~200的正整数中,能被3整除的有66个,
能被5整除的有40个,
能被15整除的有13个,
∴能被3或5整除,但不能被15整除的正整数共有
66-13+40-13=80个.
离散数学的,设P是一元谓词,则∀xP(x)命题.判断对错,给出原因.
离散数学的,设P是一元谓词,则∀xP(x)命题.判断对错,给出原因.
离散数学的,设P是一元谓词,则∀xP(x)命题.请帮忙判断对错,给出原因.
4088063351年前1
我是大毛 共回答了13个问题 | 采纳率100%
这个是错的
离散数学问题目:老王的四个儿子1234买彩票中了大奖,有个问他们是,1说“中奖的可能是3,也可能是4”;2说“老四中了大
离散数学问题目:
老王的四个儿子1234买彩票中了大奖,有个问他们是,1说“中奖的可能是3,也可能是4”;2说“老四中了大奖”;3说“我没有中大奖”,4说“中大奖的肯定不是我”。了解儿子的老王说“他们中有三位不会说谎话”。若老王说的正确,刚中大奖的是谁?
天际归舟991年前2
南瓜哥哥1 共回答了14个问题 | 采纳率78.6%
如果1,3,4说谎的话,那2也说谎了
所以2是正确的,老四中了大奖
离散数学逻辑推理时什么时候可以用”附加条件”?
离散数学逻辑推理时什么时候可以用”附加条件”?
还有怎样用附加条件
wang745914701年前1
wud999 共回答了20个问题 | 采纳率95%
1 用CP规则证明时.例如:前提 A→B,B→C,结论A→C证明:(1) A P(附件前提) (2)A→B P(3) B T(1)(2)I(4)B→C P(5)C T(3)(4)I(6)A→C CP2 用反证法证明时.前提 A,A→B,结论 B证明:(1)┐B P(附件前提) (2)A→B P(3)┐B...
离散数学括号内P析取Q析取R为什么不是合取范式
离散数学括号内P析取Q析取R为什么不是合取范式
当没有括号时既是合取范式也可以是析取范式
问题是括号内,即(P析取Q析取R)为什么不是析取范式
蜜蜂4031年前1
bailedou 共回答了21个问题 | 采纳率95.2%
我们这里从定义出发.
简单析(合)取式:仅由有限个文字构成的析(合)取式
合取范式:由有限个简单析取式构成的合取式
析取范式:由有限个简单合取式构成的析取式
(PVQ)VR不是合取范式,因为“合取式”条件不满足.
PVQVR既是合取范式也可以是析取范式,因为PVQVR可看做一个整体析取式,而单独一个整体既是合取式也可以是析取式,所以PVQVR是合取范式;又P,Q,R分开来看既是合取式也可以是析取式,并且V为析取符号,该式为析取式,所以PVQVR是析取范式.
离散数学证明题.设R是A上的自反和传递关系,S是A上的二元关系,当且仅当(a,b)属于R且(b,a)也属于R时有(a,b
离散数学证明题.
设R是A上的自反和传递关系,S是A上的二元关系,当且仅当(a,b)属于R且(b,a)也属于R时有(a,b)属于S,证明S是A上的等价关系
lilttle002boy1年前1
长剑问天 共回答了20个问题 | 采纳率85%
证明:
自反性:令a=b,显然(a,b)=(b,a)=(a,a)∈R,故(a,a)∈S,S具有自反性
对称性:若(a,b)∈S,则说明(a,b)∈R且(b,a)∈R,于是自然(b,a)∈S.故S具有对称性
传递性:若(a,b)∈S,(b,c)∈S,则说明(a,b)∈R,(b,a)∈R,(b,c)∈R,(c,b)∈R
因为R具有传递性,所以由(a,b)∈R和(b,c)∈R得出(a,c)∈R,由(c,b)∈R和(b,a)∈R得出(c,a)∈R,得到(a,c)∈S.故S具有传递性
综合上述:S在A上具有自反性,对称性,传递性.S是A上的等价关系.
离散数学命题公式的消解法一问定义2.8 C1∧C2约等于Res(C1,C2)证 记C=Res(C1,C2),设消解文字为
离散数学命题公式的消解法一问
定义2.8 C1∧C2约等于Res(C1,C2)
证 记C=Res(C1,C2),设消解文字为l,lc,不妨设C1=C1‘∨l,C2=C2‘∨lc,于是C=C1‘∨C2‘
假设C1∧C2是可满足的,α是满足他的赋值,不妨设a(l)=1,由于α满足C2,C2必然含有文字l'≠l且α(l')=l,而C中含有l',故α满足C
为什么第二段里出现了个l'?这个到底是什么东西?
wp25921371年前2
hqs007 共回答了25个问题 | 采纳率96%
4.组合数学部分:组合存在性定理、基本的计数公式、组合计数方法、组合计数定理 5.数理逻辑部分:命题逻辑、一阶谓词演算、消解原理 离散数学 离散数学 ..
关系的传递(离散数学)中R={(a,a)}算不算传递,看起来这个也满足定义.
大叠1年前2
孙剑123 共回答了16个问题 | 采纳率87.5%
算传递
离散数学单射函数的定义问题书中对单射函数的定义是这样的:函数f称为一对一的或单射的,当且仅当对于f的定义域中的所有a和b
离散数学单射函数的定义问题
书中对单射函数的定义是这样的:函数f称为一对一的或单射的,当且仅当对于f的定义域中的所有a和b,f(a)=f(b)蕴含着a=b.一对一的函数称为单射.
这个定义我就搞不懂了,既然定义说是一对一的,如果a=b的话还是一对一的吗?
chenglinyini1年前2
qszlx 共回答了17个问题 | 采纳率88.2%
这个定义是说函数f称为一对一的或单射的,若f(a)=f(b)必定表明a=b,也就是点(a,f(a))与(b,f(b))必定是同一个点,用来证明每个f(x)对应唯一的x,即是单射函数
离散数学 判断(Q—>R∧S) 是不是合式公式
明月海阁1年前3
青山魅影 共回答了25个问题 | 采纳率92%
不管Q,R,S是复合命题还是简单命题,Q—>R∧S都是合式公式!
根据合式公式的定义:
(1)单个命题常项或变项是合式公式;
(2)如果A是合式公式,则也是合式公式;
(3)如果A,B是合式公式,则A联结词B也是合式公式;
(4)只有有限次地应用(1)~(3)组成的符号串才是合式公式.
可知,Q—>R∧S是应用了1)~(3)2次的符号串,所以Q—>R∧S是合式公式.
离散数学证明题用CP规则证明A→(B∧C),(E→¬F)→¬C,B→(A∧¬S)│-B→E
vivian81191年前1
sbati 共回答了17个问题 | 采纳率88.2%
A→(B∧C),(E→¬F)→¬C,B→(A∧¬S)│-B→E
(1)B (T规则,附加前提)
(2)B→(A∧¬S) (P规则)
(3)A∧¬S (T规则(1)(2))
(4)A (T规则(3))
(5)A→(B∧C) (P规则)
(6)B∧C (T规则(4)(5))
(7)C (T规则(6))
(8)(E→¬F)→¬C (P规则)
(9)¬(E→¬F) (T规则(7)(8))
(10)E∧F (T规则(9))
(11)E (T规则(10))
(12)B→E (CP规则(1)(11))
我想问下关于离散数学的对称与反对称还有自反的问题.
我想问下关于离散数学的对称与反对称还有自反的问题.
首先3个关系的定义我知道.
如果有以下几个集合
R1{(1.1)(2.2)(3.3)}
R2{(1.1)(1.2)(2.1)(2.2)}
R3{(1.2)(2.3)(31)}
我知道 R1是自反的
R3是反对称的
根据对称与反对称的定义.
如果{(a,b)属于R}那么蕴含{(b,a),属于R} 这个是对称的定义
如果{(a,b)属于R}并且{(ba),属于R} 那么蕴含a=b.
根据对称的定义 那么R1应该是自反同时是对称的.
但根据反对称定义.{(a,b)属于R}并且{(b,a),属于R} 那么蕴含a=b.那么R1即是自反同时又是对称的再又是反对称的.存在这种关系吗?
如果R1是反对称的 那么R2为什么又是对称的?难不成集合里可以有即是对称又是反对称的关系?
帮个小忙1年前2
cw311118jb 共回答了17个问题 | 采纳率88.2%
对的,有既对称又反对称的关系.你的结论都是对的.如果这三个关系都是集合X={1,2,3}上的关系,则:
R1满足自反、对称、反对称(R1还满足传递)
R2满足对称(R2还满足传递)
R3满足反对称(R1还满足反自反、传递)
又一道离散数学填空题设Q为有理数集,笛卡尔积S=Q╳Q,*是S上的二元运算: "(a, b),(x, y)∈S , 有(
又一道离散数学填空题
设Q为有理数集,笛卡尔积S=Q╳Q,*是S上的二元运算: "(a, b),(x, y)∈S , 有
(a, b)*(x, y)=(ax , y+b),则*运算的单位元为( ),"(a, b)∈S ,a≠0,则(a, b)的
逆元是( ).
lyfwzc1年前1
我的心房 共回答了16个问题 | 采纳率93.8%
单位元是一个数和他运算后还是其本身 有定义(a, b)*(x, y)=(ax , y+b) 则
a=ax b=y+b 则x=1 y=0 单位元为 (1,0) 则(a,b)的逆元=(1/a,-b)
离散数学CP规则证明题:有的实数是自然数,自然数都是整数,因此我们得到有的实数是整数.
离散数学CP规则证明题:有的实数是自然数,自然数都是整数,因此我们得到有的实数是整数.
求列出详细的证明过程
wwwld1年前1
xyf1979 共回答了17个问题 | 采纳率82.4%
现将命题符号化,个体域取为全总个体域.
R(x):x 为实数;N(x):x 是自然数,Z(x):x 是整数.
前提:Ex(R(x)∧N(x)),Ax(N(x)→Z(x)).
结论:Ex(R(x)∧Z(x)).
证明:
① Ex(R(x)∧N(x))
③ N(a)
④ Ax(N(x)→Z(x))
⑤ N(a)→Z(a)
⑥ Z(a)
⑦ R(a)
⑧ R(a)∧Z(a)
⑨ Ex(R(x)∧Z(x))
得证.
注:每一句后面的理由交给你了.
离散数学(代数系统 置换群)找一个置换群同构于Klein四元群.
glmwu1年前1
rohan 共回答了22个问题 | 采纳率100%
V={1,(12)(34),(13)(24),(14)(23)}
是S4的正规子群