企源知识库

设R(x):x是实数,L(x,y):x< y语句“没有最大的实数”可符号化为
A、∀x(R(x）→∃y(R(y)⋀L(x,y)))
B、∀x(R(x）→∃y(R(y)⋀L(y,x)))
C、∃x（R（x）→∀y（R（y）⋀L(x,y)))
D、∃x（R（x）→∀y（R（y）⋀L(y,x)))
【正确答案】：A
【题目解析】：本题考查谓词逻辑-谓词演算的等价式与蕴涵式。 语句可以理解为“对于任意的一个实数x，总能找到比它大的实数y”，故本题选A。