∀x(M(x)→D(x))设D(x)表示“x是要死的",M(x)表示”x是人“ 那么”人总是要死的“是∀x_数学解答

∀x(M(x)→D(x))
设D(x)表示“x是要死的",M(x)表示”x是人“ 那么”人总是要死的“是∀x(M(x)→D(x)) 为什么不能写成∀x(M(x)∧D(x))这地方一直不明白都在这了希望能得到解答

人气：468 ℃　时间：2020-03-25 03:40:28

解答

　　谓词
　　　　∀x(M(x)→D(x))
可翻译成 ”对任意的 x,若 x 是人则 x 是要死的“；而谓词
　　　　∀x(M(x)∧D(x))
可翻译成 ”对任意的 x,x 是人且 x 是要死的“.
　　你选哪一个?