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