• 2022-06-03
    设D:全总个体域,L(x):x是演员,J(x):x是老师,A(x,y):x钦佩y,则命题“所有演员都钦佩某些老师”的逻辑符号化为()。
    A: x(L(x)→A(x,y))
    B: x(L(x)→y(J(y)∧A(x,y)))
    C: xy(L(x)∧J(y)∧A(x,y))
    D: xy(L(x)∧J(y)→A(x,y))