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.不是自由出现，是约束出现

单项选择题无向图G具有一条欧拉回路，则G中所有点的度数都是（）。

A.1
B.偶数
C.素数
D.奇数

单项选择题设R是实数集合，R上的运算x*y=x2+y2定义为，则〈R，*〉为（）。

A.非代数系统
B.代数系统
C.半群
D.群

问答题证明x（F（x）→G（y））为可满足式，但不是永真式。