客服

购物车

APP下载

扫码下载金标尺教师APP

回顶部

搜题
APP下载

扫码下载金标尺教师APP

单选题 阿赞德文字包括四类符号:(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)))

正确答案 :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项。