命题逻辑否定：学生上课程示例

设命题函数T(x, y)表示'学生x正在上课程y'，其中x的论域是全体学生、y的论域是全体课程。则逻辑表达式 存在y 对于任意的x T(x,y) 的否定是（ ）。

对于任意的x，存在y使得T(x,y)不成立，即存在某个学生x没有上过任何一门课程y。

因此，T(x,y)的否定为：对于任意的x，不存在y使得T(x,y)成立，即每个学生都没有上过任何一门课程。