| 查看: 497 | 回复: 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 ] |
回复此楼» 猜你喜欢
在坚冰还盖着北海的时候，我看到了怒放的梅花。
已经有3人回复
-
如果此刻你正在为国基感到焦虑，不妨来听听这首《基金之外》
已经有8人回复
-
没有任何消息-是不是就凉了
已经有10人回复
-
人气不行了
已经有11人回复
-
2026国自然函评费到账
已经有22人回复
-
导师吐槽：我怎么摊上了这么个极品研究生！
已经有3人回复
-
2026年的国家社科基金项目通讯评审的新规则与新动向、新挑战
已经有7人回复
-
今天基金会出结果吗？20260819
已经有18人回复
-
我面上完蛋了
已经有14人回复
-
范进中举一文的中心思想
已经有8人回复
找到一些相关的精华帖子，希望有用哦~
测试你的逻辑推理能力
已经有25人回复
- 美国CSC联合培养身份Visiting Researcher & Visiting Collaborator
已经有7人回复
- 谢谢各位帮忙解决一下色谱方面的问题
已经有8人回复
- 周末面试伦敦艺术大学 & 渥太华大学，恳求指点……
已经有17人回复
- 原油改性机理研究中的几个问题
已经有10人回复
- 2011诺贝尔生理&医学奖揭晓
已经有3人回复
- 2011年度数理学部基金资助分析及2012年基金委新举措（基金委领导权威报告）
已经有402人回复
- 空气下油酸作溶剂合成纳米铜 溶液发黑以及分离问题
已经有3人回复
- 【求助】中科院考博概率论与数理统计专业真题
已经有6人回复
- 【求助】滤膜的选择问题
已经有4人回复
点击这里搜索更多相关资源科研从小木虫开始，人人为我，我为人人
20