| 查看: 488 | 回复: 0 | ||
[求助]
【离散数学】数理逻辑&集合论&代数系统的四个简单小问题
|
|
1. 设A，B，C，D，E，G是任意命题，则下面的式子是否成立？为什么？ A∧┐B∧C，D→E，E∧┐A，B→A∧┐C=>G 这个G只出现在结论中，没有出现在已知中，用CP好像也证明不了式子成立吧？ 2. 设s(R)为关系R的对称闭包，t(R)为关系的传递闭包，<是实数集I上的小于关系，则 st（<）= （这个是填空题，这个空里面填什么？具体应该怎样表示？） ts（<）= （这个是填空题，这个空里面填什么？具体应该怎样表示？） 3. 真包含（那个符号我打不出来，就是大写英文字母U向左逆时针旋转90°）关系的自反闭包是什么？对称闭包是什么？ 4. 任意多具有多个等幂元的半群，是否一定能构成群？若能构成群，那么能构成交换群么？为什么？ 我知道半群构成群的条件是要有幺元（构成独异点）和所有元素都有逆元（由独异点构成群）。 但是我对等幂元（x*x=x）不是很清楚。 谢谢。。 [ Last edited by VX540 on 2011-12-30 at 20:55 ] |
回复此楼» 猜你喜欢
2026年国自然面上资助率
已经有7人回复
-
微信指数没变化，科研之友没阅读
已经有17人回复
-
申请2027年材料/化学类博士
已经有5人回复
-
系统今天又提示维护了，估计离放榜不远了
已经有14人回复
-
你们的时间戳变了吗
已经有4人回复
-
小木虫看见有人已经知道结果了
已经有17人回复
-
今年的WR进展到哪一步了？
已经有9人回复
-
产物和副产物价值比较
已经有5人回复
-
时间戳他又来了
已经有17人回复
-
这个自发加氧反应的机理是什么？
已经有7人回复
找到一些相关的精华帖子，希望有用哦~
测试你的逻辑推理能力
已经有25人回复
- 美国CSC联合培养身份Visiting Researcher & Visiting Collaborator
已经有7人回复
- 谢谢各位帮忙解决一下色谱方面的问题
已经有8人回复
- 周末面试伦敦艺术大学 & 渥太华大学，恳求指点……
已经有17人回复
- 原油改性机理研究中的几个问题
已经有10人回复
- 2011诺贝尔生理&医学奖揭晓
已经有3人回复
- 2011年度数理学部基金资助分析及2012年基金委新举措（基金委领导权威报告）
已经有402人回复
- 空气下油酸作溶剂合成纳米铜 溶液发黑以及分离问题
已经有3人回复
- 【求助】中科院考博概率论与数理统计专业真题
已经有6人回复
- 【求助】滤膜的选择问题
已经有4人回复
点击这里搜索更多相关资源科研从小木虫开始，人人为我，我为人人