设R是实数集合，函数f：R→R，f（x）=x2+3和g：R→R，g（x）=x+4，则复合函数是（）。……

单项选择题下列公式是前束范式的是（）。

A.A
B.B
C.C
D.D

单项选择题集合的并运算∪不满足（）。

A.消去律
B.幂等律
C.交换律
D.结合律

单项选择题集合的交运算∩不满足（）。

A.结合律
B.消去律
C.幂等律
D.交换律

单项选择题设A={1，3，5，7}上的关系R：，则R的定义域dom（R）等于（）。

A.{1，3，5，7}
B.{3，5，7}
C.{1，3，7}
D.{1，3，5}

单项选择题谓词公式中变元x（）。

A.既不是自由出现又不是约束出现
B.是自由出现，不是约束出现
C.既是自由出现又是约束出现
D.不是自由出现，是约束出现