【判断题】
用等值演算法推导公式“(pùq) ú (pù?q)”和公式p相等价.
【多选题】
用等值演算法推导公式“? (p?q)”和下面哪个公式不等价:
【多选题】
设前提: p?r, ?q?p, ?r. 则下面哪些是其有效结论:
【多选题】
设函数f: S?R, S=[0, +∞), f(x)=1/(x+1),则它是:
【多选题】
公式“(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)).