【多选题】
令 F(x): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快,则命题“说所有的火车比所有的汽车跑得快是不对的”符号化不正确的有:
①
x$y(F(x) ù G( y) ? H(x, y))
②
$x$y(F(x) ù G( y) ù H(x, y))
③
xy(F(x) ù (G( y) ? H(x, y)))
④
$xy(F(x) ù G( y) ù H(x, y)).
【判断题】
设 p: 2+3=5. q: 大熊猫产在中国. r: 复旦大学在广州. 则复合命题公式“(pùqù?r) ? (( ?pú?q) ?r)”的真值为假。
【判断题】
命题“若 3+2=4, 则地球是静止不动的”的真值为真。
【判断题】
用真值表判断公式“(p?q) ? (?q??p)”的类型为重言式。
【判断题】
自然数里,a=2,f (x,y)=x+y,g (x,y)=x·y,F (x,y): x=y。公式“xy(F(f(x,a),y) ?F(f(y,a),x))”的真值为假。
【多选题】
设函数f: Z?Z, 若x为奇数f (x)=1, 若x为偶数f (x)= x/2,则下面正确的有:
【多选题】
个体域为整数集, 公式“x$y(x×y = 1)”翻译成自然语言,下面合适的有
②
“对于每个整数, 都能找到另一个整数, 它们相乘结果是1.”
③
“对任意非零整数, 都能找到另一个整数, 使得它们相乘结果等于1.”
④
“对于任意整数 x, 都存在整数 y, 使得 x×y = 1.”
【多选题】
用等值演算法推导公式“(pùq) ú (pù?q)”和下面哪个公式不等价:
【多选题】
将命题“除非李建是东北人, 否则他一定怕冷”用0 元谓词符号化合适的有:
①
令 F(x): x 是东北人; G(x): x 怕冷; a: 李建. 符号化为?F(a)?G(a)
②
令 F(x): x 是东北人; G(x): x 怕冷; a: 李建. 符号化为 ?G(a)?F(a).
③
令 H(x, y): x 是 y 地方人; G(x): x 怕冷; a: 小王; b: 东北. 则符号化为?H(a, b)?G(a) .
④
令 P: 李建是东北人; Q: 他怕冷. 符号化为P ? Q。