• 2022-06-03
    $命题“有的人喜欢所有的花”的逻辑符号化表示为?$$设D:全总个体域,F(x):x是花,M(x) :x是人,H(x,y):x喜欢y $
    A: $\forall x(M(x) \rightarrow \forall y(F(y) \rightarrow H(x, y))) $
    B: $\forall x(M(x) \wedge \forall y(F(y) \rightarrow H(x, y))) $
    C: $\exists x(M(x) \rightarrow \forall y(F(y) \rightarrow H(x, y))) $
    D: $\exists x(M(x) \wedge \forall y(F(y) \rightarrow H(x, y))) $