命题逻辑否定表达式的推导 - 设命题函数 T(x, y) 表示 "学生 x 正在上课程 y"
设命题函数 T(x, y) 表示 '学生 x 正在上课程 y'，其中 x 的论域是全体学生、y 的论域是全体课程。则逻辑表达式 '存在 y 对于任意的 x，T(x, y)' 的否定是 ( )。
$\forall x \neg T(x,y)$。
原文地址: https://www.cveoy.top/t/topic/ocf9 著作权归作者所有。请勿转载和采集!
安全问答是一个知识全球问答,包含丰富的问答知识
设命题函数 T(x, y) 表示 '学生 x 正在上课程 y'，其中 x 的论域是全体学生、y 的论域是全体课程。则逻辑表达式 '存在 y 对于任意的 x，T(x, y)' 的否定是 ( )。
$\forall x \neg T(x,y)$。
原文地址: https://www.cveoy.top/t/topic/ocf9 著作权归作者所有。请勿转载和采集!