题海让大学四年没有难题
白天模式登陆

题目详情

单选题 ∀ x∃ y(x<y)的否定是

A. ∃ x∃ y(x≥y)

B. ∃ x∀ y(x≥y)

C. ∃ x∀ y(x<y)

D. ∀ x∃ y(x≥y)

离散结构课程封面

学科：离散结构

时间：2025-04-06 07:30:42

相关题目

相关作业

题目1
单选题
对于有效论证:班上的 93 个学生,每人拥有一台 PC.拥有 PC 的每个人都会使用 word 软件.因此,班上的学生 Zeke 会使用 word 软件.使用的推理规则按顺序应该是( )
A. ①存在实例 ②假言推理 ③存在实例 ④假言推理B. ①全称实例 ②假言推理 ③存在实例 ④化简律C. ①存在实例 ②假言推理 ③全称实例 ④取拒式D. ①全称实例 ②假言推理 ③全称实例 ④假言推理
题目2
单选题
语句&quot;每门课至少有一名学生选修&quot;的否定可以用哪个逻辑公式表示?其中,命题函数 T(x, y) 表示&quot;x 正在上 y&quot;,x 的论域是学生,y 的论域是课程
A. <img src="https://tihai-oss-cloud.itihey.com/img/01a953128df0bf1ec0bc80debefb51fe.png">B. <img src="https://tihai-oss-cloud.itihey.com/img/6799c81afa5f5847ab3653365d04ea90.png">C. <img src="https://tihai-oss-cloud.itihey.com/img/10a80922b1caf5efd7b9be5fd2c944a3.png">D. <img src="https://tihai-oss-cloud.itihey.com/img/d251f3d67da2319a7098a65ed80e18b9.png">
题目3
单选题
对于有效论证:班上的学生 Doug 知道如何写 Java 程序.知道如何写 Java 程序的每个人都可以得到高薪的工作.因此,班上的某些人可以得到高薪的工作.使用的推理规则按顺序应该是( )
A. ①假言推理 ②合取律B. ①全称实例 ②假言推理 ③合取律 ④存在引入C. ①存在实例 ②假言推理 ③合取律 ④存在引入D. ①全称实例 ②假言推理 ③合取律 ④全称引入
题目4
单选题
&quot;有效论证&quot;可定义为:在论证的所有可能性中,不能出现&quot;所有前提为真,但结论为假&quot;的情况.据此解释以下论证是否&quot;有效&quot;? p &rarr; q &not;p --------------- &there4; &not;q
A. 有效:假设命题变元 p 为真、q 为假,则出现了&quot;1 个前提为真、1 个前提为假,结论为真&quot;的情况B. 无效:假设命题变元 p 为真、q 为真,则出现了&quot;1 个前提为真、1 个前提为假,结论为假&quot;的情况C. 无效:假设命题变元 p 为假、q 为真,则出现了&quot;2 个前提都为真,但结论为假&quot;的情况D. 有效:假设命题变元 p 为假、q 为假,则出现了&quot;2 个前提都为真,结论也为真&quot;的情况
题目5
单选题
对于有效论证:寝室 5 位室友的每一个都选修过离散数学课程.选修过离散数学课程的每个学生都可以选修算法课程.因此,所有 5 位室友都可以选修算法课程.使用的推理规则按顺序应该是( )
A. ①全称实例 ②全称实例 ③假言三段论 ④全称引入B. ①全称实例 ②全称实例 ③假言推理 ④全称引入C. ①存在实例 ②存在实例 ③假言三段论 ④存在引入D. ①全称实例 ②存在实例 ③假言推理 ④全称引入
题目6
单选题
将语句&quot;存在一个非负整数,小于等于任何一个非负整数&quot;翻译成逻辑表达式.在下面选项中,m 和 n 的论域是所有非负整数
A. <img src="https://tihai-oss-cloud.itihey.com/img/55369b2499293a9ad4bb97b727c9017f.webp">B. <img src="https://tihai-oss-cloud.itihey.com/img/9af3c820cf6c762c696f8d89aac123d9.webp">C. <img src="https://tihai-oss-cloud.itihey.com/img/01fb3b5dbe5277016180286552c3abed.webp">D. <img src="https://tihai-oss-cloud.itihey.com/img/c0c2209f94eb76c36aedd9d57c8c24fd.webp">
题目7
单选题
对于有效论证:本班有人到过法国.到过法国的每个人都会参观卢浮宫.因此,本班有人参观过卢浮宫.使用的推理规则按顺序应该是( )
A. ①存在实例 ②附加律 ③全称实例 ④假言推理 ⑤附加律 ⑥取拒式 ⑦存在引入B. ①全称实例 ②化简律 ③全称实例 ④假言推理 ⑤化简律 ⑥取拒式 ⑦全称引入C. ①全称实例 ②化简律 ③存在实例 ④假言推理 ⑤化简律 ⑥合取律 ⑦全称引入D. ①存在实例 ②化简律 ③全称实例 ④假言推理 ⑤化简律 ⑥合取律 ⑦存在引入
题目8
单选题
下面哪个是&quot;有些香蕉熟了&quot;的否定
A. 没有香蕉不熟B. 所有香蕉都熟了C. 有些香蕉没熟D. 没有香蕉熟了
题目9
单选题
&forall; x&exist; y(x&lt;y)的否定是
A. &exist; x&exist; y(x&ge;y)B. &exist; x&forall; y(x&ge;y)C. &exist; x&forall; y(x&lt;y)D. &forall; x&exist; y(x&ge;y)
题目10
单选题
下面哪一项是&quot;某人没有去过商店&quot;的否定
A. 没有人去过商店B. 每个人都没去过商店C. 某人去过商店D. 每个人都去过商店
Copyright © 2022 津ICP备2021001502号