“ 人总是要死的” 谓词公式表示为 。(论域为全总个体域) M(x) : x是人;Mortal(x) :x 是要死的。
已帮助 人
“ 人总是要死的” 谓词公式表示为 。(论域为全总个体域) M(x) : x是人;Mortal(x) :x 是要死的。
A.M(x) →Mortal(x)
B.M(x)∧Mortal(x)
C.(∀ x) (M (x)→Mortal(x))
D.(∃ x) (M (x)∧Mortal(x))

回答
共1条回复-
https://mooc1-1.chaoxing.com/ananas/latex/p/1556107
