在命题逻辑中，依据一个复合命题带有什么样的联结词，复合命题又分为（)。

A.联言命题

B.选言命题

C.假言命题

D.真言命题

E.负命题

B.在两个析取复合命题中，如果命题q及其反命题分别出现在这两个析取复合命题中，则通过归结法可得到一个新的析取复合命题，只是在析取复合命题中要去除命题q及其反命题

C.如果命题q出现在一个析取复合命题中，命题q的反命题单独存在，则通过归结法可得到一个新的析取复合命题，只是在析取复合命题中要去除命题q及其反命题

D.对命题q及其反命题应用归结法，所得到的命题为假命题

A.p q

B.q p

C.p q

D.p q

用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义：

(1)一个命题是其值为真或假的一个判断语句;

(2)如果X是一个命题，Y也是一个命题，则 X and Y，X or Y, not X也是一个命题;

(3)如果X是一个命题，则(X)也是一个命题，括号内的命题运算优先;

(4)命题由以上方式构造。

若X，Y，Z，M等均是一个命题，问不符合上述递归定义的语句是 _____。

(A) X;

(B) (X and Y not Z);

(C) (X);

(D) ((X and Y) or (not Z)) and (not M)。

A.(X)

B.((X and Y) or (not Z)) and (not M)

C.X

D.(X and Y not Z)