【多选题】
下列选项中,( )是EXCEL的数据类型
【多选题】
以下各项中属于服务器提供的共享资源是( )。
【判断题】
设p: 天下大雨, q: 他乘班车上班,则“除非天下大雨, 他才乘班车上班”可命题符号化为:p→q 。
【判断题】
设 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. 则下面哪些是其有效结论: