语句“每门课至少有一名学生选修”的否定可以用哪个逻辑公式表示？其中，命题函数 T(x, y) 表示“x 正在上 y”，x 的论域是学生，y 的论域是课程
举一反三
- 将语句“没有计算机专业学生上了某门课程”翻译成逻辑表达式，设 C(x) 表示“x 是计算机专业的”，T(x,y) 表示“x 上 y 这门课”，其中：x 的论域是全体学生，y 的论域是所有课程
- 将语句“每个数学专业的学生都在上一门计算机科学课程”翻译成逻辑表达式。设有 M(x) 表示“x 是数学专业的”，C(y) 表示“y 是一门计算机课程”，T(x, y) 表示“x 在上 y 这门课”，其中：x 的论域为全体学生，y 的论域为所有课程
- 令G(x,y)：表示 x>y，其中x=-1，y=2，论域为全体整数。此时，G(x,y)是命题。
- 令G(x,y)：表示 x>y，其中x=-1，y=2，论域为全体整数。此时，G(x,y)是命题。 A: 正确 B: 错误
- 如果x+y=0，那么y是x的加法逆元。假设你要证明“所有实数都有加法逆元”，变量上的量词应该是什么？ A: ∀x∀y，其中x、y的论域是全体实数 B: ∃x∀y，其中x、y的论域是全体实数 C: ∀x∃y，其中x、y的论域是全体实数 D: ∃x∃y，其中x、y的论域是全体实数