-
-
0如何理解“蕴含”关系中当前件p为假时,p→q为真
-
0
-
2
-
2
-
0离散数学有好点网课推荐下么,调剂到计算机大类了大一摆烂一年挂了门离散快补考了#离散数学#
-
0
-
0
-
0
-
1
-
1
-
0
-
3
-
1
-
3
-
4
-
0
-
1
-
0
-
2
-
5
-
7
-
3
-
2
-
1构造下列推理证明 前提:p→Q,S→否Q,RvS, 结论:P→R 这道题怎么写呀QAQ
-
0请为下面每组公式构造一个结构,使得这个结构可以满足前一个公式但是不能满足后一个公 式: ∃x(P (x) → Q(x)) 和 ∃xP (x) → ∃xQ(x) 这一题这里 要让后面那个公式不成立 那就是要找到∃xP (x)为真但 ∃xQ(x)为假的情况 ∃xQ(x)为假的话那就是forall x(Q的否定)那就是构造的Q要在个体域里面恒没有吗 但是一个结构的谓词不是要在论域上的吗 求大佬求助啦
-
3
-
0图的同构到底怎么判断啊,上课没听懂
-
0
-
2
-
0
-
0讨论离散数学课程与高等数学课程中的集合算律有哪些联系与区别
-
14二元运算的
-
1
-
2离散数学表明:图灵机的不停机问题是不可证的,我们无法证明自身是否是正确的。 假设宇宙边界如有理数一样是无穷的,证明方法如微观宇宙的夸克一样是不断被发现的。那么证明方法如果是可穷尽的是否就可以证明自身是正确的。
-
7
-
2
-
3
-
1
-
2
-
3请问,设R为有1的有限环,证明R中的非零元或为可逆元,或为零因子
-
0