∀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 是要死的“.
  你选哪一个?