【多选题】
下列推理的形式结构中不是有效推理的有:
【多选题】
设前提: pù?q ? r, p, q ? s, ?s. 则下面哪些是其有效结论:
【多选题】
令 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.”