金标尺教师APP
考教师 金标尺
A
aEd
B
￢（xMy）
C
（bIc）ⅴ￢（cAe）
D
（￢（aEd）︱（（cAe）ⅴ（aEd）））
正确答案 ：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项。
