【多选题】
公式“(pùq) ú (?púr)”的主合取范式中极大项下标没有:
【多选题】
令 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ù?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))”的真值为假。