作业帮 > 数学 > 作业

∀x(M(x)→D(x))

来源:学生作业帮 编辑:神马作文网作业帮 分类:数学作业 时间:2024/11/10 16:42:46
∀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(M(x)→D(x))
可翻译成 ”对任意的 x,若 x 是人则 x 是要死的“;而谓词
    ∀x(M(x)∧D(x))
可翻译成 ”对任意的 x,x 是人且 x 是要死的“.
  你选哪一个?