事考帮APP
让考事变得更简单
A
Ed
B
┐（xMy）
C
（b|c）∨┐（cAe）
D
（┐（aEd）|（（cAe）∨（aEd）））
正确答案 ：D
解析
D 【解析】单定义。定义强调：（1）若X是一个阿赞德词语，则（X）、┐（X）都是阿赞德语句；（2）若X，Y是任意阿赞德语句，则（X∨Y）、（X|Y）都是阿赞德语句。 A项，aEd，只是是阿赞德词语，不是阿赞德语句，不符合定义，排除； B项，┐（xMy），x和y不是5个小写字母a、b、c、d、e之一，不属于阿赞德词语，更不是阿赞德语句，不符合定义，排除； C项，（bIc）∨┐（cAe），（bIc）是阿赞德语句，┐（cAe）是阿赞德语句，根据（2）的要求，（X∨Y）是阿赞德语句，该项应该变为（（bIc）∨┐（cAe））才能符合定义，缺少外侧的（），排除； D项，（┐（aEd）|（（cAe）∨（aEd））），（（cAe）∨（aEd））是阿赞德语句，┐（aEd）是阿赞德语句，因此该项符合（X|Y）形式，符合定义，当选。 故本题答案为D项。
