【判断题】
设 f: A ? B, g: B ? C, 且 f○g: A ? C 是双射。则f : A ? B 是满射的。
【判断题】
设 A={1, 2}, B={a, b, c}, 则f = {,,}是 BA中的元素。
【判断题】
设个体域 D={0,1}, 谓词F(x):x0, G(x):x1。命题“$x(F(x) ùG(x))”的真值为假。
【判断题】
用等值演算法推导公式“(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)).