【判断题】
设 A = {1, 2=,2, 4=,3, 3=},B = {1, 3=,2, 4=,4, 2=},则并关系A∪B的定义域dom(A∪B)等于:{1,2,3,4}。
【判断题】
判断公式“x$yF(x, y) ? $xyF(x, y)”的类型为重言式。
【判断题】
用真值表判断公式“(pùr) ? ( ?pù?q)”的类型为重言式。
【多选题】
设函数f: S?R+, S=(0, 1), f(x)=1/x,则它是:
【多选题】
设函数f: R+?R+, f(x) = x^2,则它是:
【多选题】
设前提: p? (q?r), s?p, q. 则下面哪些不是其有效的结论: