单项选择题
用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义:
(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) or (not Z)) and (not M)
C.X
D.( X and Y not Z)