• 2021-04-14
    设D:全总个体域,F(x):x是病人,G(x):x是医生,H(x, y):x相信y。则命题“有的病人相信所有的医生”的逻辑符号化为(  )