离散数学
关注
分享
扫一扫
文章平均质量分 72
南隅笙箫
双非毕业蹲哥，https://jimmyhjh.吸欧诶姆
展开
-
离散数学_集合_部分习题
2017330300135 17计科2 黄吉昊3.9 S1=ϕS_1=\phiS1=ϕ,S2={ϕ}S_2=\{\phi \}S2={ϕ},S3=P({ϕ})S_3=P(\{ \phi\})S3=P({ϕ}),S4=P(ϕ)S_4=P(\phi)S4=P(ϕ)判断以下命题的真假解：S1S_1S1 = ϕ\phiϕS2S_2S2 = {$\phi $}S3S_3S3 = {...原创 2020-04-25 21:22:37 · 1932 阅读 · 0 评论 -
离散数学_构造推理的证明
1、在自然推理系统F中，构造下面推理的证明不存在能表示成分数的无理数，有理数都能表示成分数。因此，有理数都不是无理数。个体域为实数集合。令F(x):xF(x):xF(x):x是无理数 G(x):xG(x):xG(x):x是有理数 H(x):xH(x):xH(x):x能表示成分数命题符号化： 不存在能表示成分数的无理数：¬∃x(H(x)∧F(x))\lnot \exist x (H(...原创 2020-04-19 20:52:29 · 15246 阅读 · 0 评论 -
离散数学_一阶逻辑_部分习题
2.3 在一阶逻辑中将下列命题符号化(1)每个大学生不是文科生就是理科生令F(x):xF(x):xF(x):x是大学生 G(x):xG(x):xG(x):x是文科生 H(x):xH(x):xH(x):x是理科生命题符号化：∀x(F(x)→(G(x)∨H(x)))\forall x(F(x) \rightarrow (G(x) \vee H(x)))∀x(F(x)→(G(x)∨H(x)))...原创 2020-04-12 21:08:01 · 14454 阅读 · 1 评论 -
离散数学_命题逻辑_部分习题
1.9 用等值演算法判断下列公式的类型（2）((p→q)∧(q→p))↔(p↔q)((p \rightarrow q) \wedge(q \rightarrow p) ) \leftrightarrow (p \leftrightarrow q)((p→q)∧(q→p))↔(p↔q)解：↔(p→q)↔(p↔q)(蕴含等值式)\leftrightarrow (p \rightarrow q )...原创 2020-04-09 22:34:18 · 7890 阅读 · 3 评论