-
-
0
-
4如何理解“蕴含”关系中当前件p为假时,p→q为真
-
0离散数学的换名规则有没有用白话讲的,大佬们
-
1萌新刚学了谓词演算的推理理论,求存在推广规则ES和全称特指规则US,这两个结合起来不就是等价吗?为什呢查一下又不等价呢?
-
2
-
0
-
0
-
1
-
4
-
0
-
2
-
2
-
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