阿赞德文字包括四类符号：(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)都是阿赞德语句。

　　根据上述定义，下列属于阿赞德语句的是：

　　A.aEd

　　B.﹁(xMy)

　　C.(bIc)∨﹁(cAe)

　　D.(﹁(aEd)∣((cAe)∨(aEd)))

　　解析

　　第一步，根据提问方式，确定为选是题。

　　第二步，找关键信息。

　　(1)阿赞德词语：如果x、y是5个小写字母(a、b、c、d、e)中的任意两个，M是4个大写字母(A、E、I、O)的任意一个，则xMy是阿赞德词语;

　　(2)阿赞德语句：①若X是一个阿赞德词语，则(X)、﹁(X)都是阿赞德语句;②若X、Y是任意阿赞德语句，则(X∨Y)、(X∣Y)都是阿赞德语句。

　　第三步，辨析选项。

　　A项：aEd符合“xMy”形式，属于阿赞德词语，不符合阿赞德语句;

　　B项：x、y不属于“5个小写字母(a、b、c、d、e)”，M不属于“4个大写字母(A、E、I、O)”，xMy不是阿赞德词语，不属于阿赞德语句，不符合定义;

　　C项：bIc和cAe是阿赞德词语，则(bIc)和﹁(cAe)属于阿赞德语句，可用X、Y表示，但X∨Y不符合“(X∨Y)”，缺少左右括号，不符合阿赞德语句;

　　D项：aEd和cAe是阿赞德词语，则(cAe)和(aEd)属于阿赞德语句，((cAe)∨(aEd))符合“(X∨Y)”，符合阿赞德语句，用M表示，﹁(aEd)符合“﹁(X)”，属于阿赞德语句，用N表示，(N∣M)符合“(X∣Y)”，符合阿赞德语句。

　　因此，选择D选项。

　　考点

　　判断推理

　　定义判断

　　多定义