【例1】阿赞德文字包括四类符号:(1)5个小写字母a、b、c、d、e;(2)4个大写字母A、E、I、O;(3)3个特殊符号卢、ⅴ、∣;(4)一对左右圆括号()。
阿赞德词语请按照如下方式构成:如果x、y是5个小写字母中的任意两个,M是4个大写字母的任意一个,则xMy是阿赞德词语。
阿赞德语句按照下列方式构成:(1)若X是一个阿赞德词语,则(X)、卢(X)都是阿赞德语句;(2)若X、Y是任意阿赞德语句,则(XⅴY)、(X∣Y)都是阿赞德语句。
阿赞德文字:(1)a、b、c、d、e;(2)A、E、I、O;(3)卢、ⅴ、∣;(4)()。
阿赞德词语:xMy(x、y是5个小写字母中的任意两个,M是4个大写字母的任意一个)。
阿赞德语句:"若X是一个阿赞德词语,则(X)、卢(X)都是阿赞德语句"、"若X、Y是任意阿赞德语句,则(XⅴY)、(X∣Y)都是阿赞德语句"。
A项:aEd符合阿赞德词语,但构成阿赞德语句缺少(),不符合"若X是一个阿赞德词语,则(X)、卢(X)都是阿赞德语句",不符合定义,排除;
B项:x和y均不是阿赞德文字中5个小写字母中的任意一个,M也不是阿赞德文字中4个大写字母中的任意一个,因此,xMy不属于阿赞德词语,不符合"若X是一个阿赞德词语,则(X)、卢(X)都是阿赞德语句",不符合定义,排除;
C项:(bIc)ⅴ卢(cAe)中,(bIc)和卢(cAe)均为阿赞德语句,两者之间用符号ⅴ连接,但缺少构成(XⅴY)的括号(),不符合"若X、Y是任意阿赞德语句,则(XⅴY)、(X∣Y)都是阿赞德语句",不符合定义,排除;
D项:(卢(aEd)∣((cAe)ⅴ(aEd))))中,卢(aEd)是阿赞德语句,((cAe)ⅴ(aEd))也是阿赞德语句,两者之间用∣连接并且用括号()包裹,符合"若X是一个阿赞德词语,则(X)、卢(X)都是阿赞德语句"、"若X、Y是任意阿赞德语句,则(XⅴY)、(X∣Y)都是阿赞德语句",符合定义,当选。