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

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

∀x(M(x)→D(x))设D(x)表示“x是要死的",M(x)表示”x是人“ 那么”人总是要死的“是∀x(M(x)→D(x)) 为什么不能写成∀x(M(x)∧D(x))这地方一直不明白 都在这了 希望能得到解答
谓词
　　　　∀x(M(x)→D(x))
可翻译成 ”对任意的 x,若 x 是人则 x 是要死的“；而谓词
　　　　∀x(M(x)∧D(x))
可翻译成 ”对任意的 x,x 是人且 x 是要死的“.
　　你选哪一个?