设X，Y，Z是集合，“一”是集合相对补运算，下列等式不正确的是（)。

设论述域是具有如下定义的谓词的数学断言的集合：

P(x)表示“x是可证明的”;

T(x)表示“x是真的”;

S(r)表示“x是可满足的”;

D(x, y, z)表示“z是析取式xVy”,

翻译下列断言为中文，使我们翻译尽可能自然。例如译成“如果y是断言wVx,z是断言:xVw,并且y是可证明的，那么z是可证明的”.

设a，b，c，d代表不同的元素，说明以下集合A和B之间成立哪一种关系(指)。

(1)A={{a，b}，{c}，{d}}，B={{a，b}，{c}}。

(2)A={{a，b}，{b}，∅}，B={{b}}。

(3)A={x|x∈N∧x²＞4}，B={x|x∈N∧x＞2}。

(4)A={ax+b|x∈R∧a，b∈Z}，B={x+y|x，y∈R}。

(5)A={x|x∈R∧x²+x-2=0}，B={y|y∈Q∧y²+y-2=0}。

(6)A={x|x∈R∧x²≤2}，B={cx|x∈R∧2x³-5x²+4x=1}。

设A={a}ⁿ={aⁿ|n≥0}，B是单元素集合B=(z)，这里z是a的无限串即B={aaa···}，设R是AUB上的关系，定义如下：

证明或否定＜ A,z＞∈R⁺。

设Z为全集，A，B，C为Z的子集。

试用A，B，C以及集合运算分别给出下列集合的表达式。

(1)所有奇数的集合。

(2){-10，-8，-6，-4，-2，0，2，4，6，8，10}。

(3)。

(4)。

设I为整数集合,A={x|x²＜30,xI},B={x|x是素数,x＜20},C-{1,3,5}.