()是指包括一个或一个以上较短命题作为其自身的一部分的命题。

A.一个或一个以上

B.两个或两个以上

C.两个

D.两个以上

A.分析命题

B.否定命题

C.复合命题

D.全称命题

析取命题是指两个或两个以上对象可能性至少有一个存在或为真的复合命题。()

A.判断

B.命题

C.表象

D.图式

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

(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 and Y not Z)

B.X

C.(X)

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

A.(X and Y not Z)

B.X

C.(X)

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