设R(x):x是实数,L(x,y):x< y语句“没有最大的实数”可符号化为

设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