【单选题】
设个体域是整数集,则下列命题的真值为真的是( )
①
<imgwidth="9"height="13"src="../uploadfiles/word/lsss001.files/image050.png">y<imgwidth="9"height="11"src="../uploadfiles/word/lsss001.files/image051.png">x(x·y=1)
②
<imgwidth="9"height="11"src="../uploadfiles/word/lsss001.files/image051.png">x<imgwidth="9"height="13"src="../uploadfiles/word/lsss001.files/image050.png">y(x·y≠0)
③
<imgwidth="97"height="19"src="../uploadfiles/word/lsss001.files/image054.png">
④
<imgwidth="91"height="22"src="../uploadfiles/word/lsss001.files/image055.png">
【单选题】
设个体域是整数集,则下列命题的真值为真的是( )
【单选题】
设论域为整数集,下列真值为真的公式是( )
①
<imgwidth="116"height="20"src="../uploadfiles/word/lsss001.files/image023.png">
②
<imgwidth="116"height="20"src="../uploadfiles/word/lsss001.files/image024.png">
③
<imgwidth="119"height="20"src="../uploadfiles/word/lsss001.files/image025.png">
④
<imgwidth="134"height="20"src="../uploadfiles/word/lsss001.files/image026.png">
【多选题】
个体域为整数集, 公式“x$y(x×y = 1)”翻译成自然语言,下面合适的有
②
“对于每个整数, 都能找到另一个整数, 它们相乘结果是1.”
③
“对任意非零整数, 都能找到另一个整数, 使得它们相乘结果等于1.”
④
“对于任意整数 x, 都存在整数 y, 使得 x×y = 1.”
【判断题】
设个体域 D={0,1}, 谓词F(x):x0, G(x):x1。命题“$x(F(x) ùG(x))”的真值为假。
【简答题】
设个体域 D={1,2}, 谓词F(x):x≤2, G(x):x≤3。命题“x(F(x) ?G(x))”的真值:[填空1]
【简答题】
设个体域 D={3,4},F(3,3)=F(4,4)=0, F(3,4)=?F(4,3)=1。则命题“$xyF(x,y)”的真值:[填空1]
【判断题】
个体域为整数集, 公式“x$y(x×y = 1)”可翻译成自然语言“对于任意整数 x, 都存在整数 y, 使得 x×y = 1.”
【单选题】
设x和y均为逻辑值,则xy为真的条件是?