| 查看: 449 | 回复: 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 ] |
回复此楼» 猜你喜欢
拟解决的关键科学问题还要不要写
已经有4人回复
-
基金委咋了？2026年的指南还没有出来？
已经有9人回复
-
基金申报
已经有5人回复
-
国自然申请面上模板最新2026版出了吗？
已经有17人回复
-
纳米粒子粒径的测量
已经有8人回复
-
疑惑？
已经有5人回复
-
计算机、0854电子信息（085401-058412）调剂
已经有5人回复
-
Materials Today Chemistry审稿周期
已经有5人回复
-
溴的反应液脱色
已经有7人回复
-
推荐一本书
已经有12人回复
找到一些相关的精华帖子，希望有用哦~
测试你的逻辑推理能力
已经有25人回复
- 美国CSC联合培养身份Visiting Researcher & Visiting Collaborator
已经有7人回复
- 谢谢各位帮忙解决一下色谱方面的问题
已经有8人回复
- 周末面试伦敦艺术大学 & 渥太华大学，恳求指点……
已经有17人回复
- 原油改性机理研究中的几个问题
已经有10人回复
- 2011诺贝尔生理&医学奖揭晓
已经有3人回复
- 2011年度数理学部基金资助分析及2012年基金委新举措（基金委领导权威报告）
已经有402人回复
- 空气下油酸作溶剂合成纳米铜 溶液发黑以及分离问题
已经有3人回复
- 【求助】中科院考博概率论与数理统计专业真题
已经有6人回复
- 【求助】滤膜的选择问题
已经有4人回复
点击这里搜索更多相关资源科研从小木虫开始，人人为我，我为人人