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

用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义：
(1)一个命题是其值为真或假的一个判断语句； 
(2)如果X是一个命题，Y也是一个命题，则X and Y，X or Y, not X也是一个命题； 
(3)如果X是一个命题，则(X)也是一个命题，括号内的命题运算优先； 
(4)命题由以上方式构造。 
若X，Y，Z，M等均是一个命题，问不符合上述递归定义的语句是_____。
@[B](2)

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 not Z)；
C. (X)；
D.((X  and  Y)  or  (not  Z)) and  (not M)。 


答案：B