【思路】
提取定义要点:阿赞德文字:(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项:¬(xMy),x、y、M均不是阿赞德文字,因此xMy不属于阿赞德词语,¬(xMy)更不是阿赞德语句,不符合“若X是一个阿赞德词语,则(X)、¬(X)都是阿赞德语句”,不符合定义,排除;
C项:(bIc)ⅴ¬(cAe),其中(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)都是阿赞德语句”,符合定义,当选。
因此,答案为D。
换一批