• 2022-06-03
    中国大学MOOC: 设D:全总个体域,F(x):x是花,M(x) :x是人,H(x,y):x喜欢y。则命题“有的人喜欢所有的花”的逻辑符号化为( )