【单选题】“ 人总是要死的” 谓词公式表示为 。（论域为全总个体域） 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：理解谓词公式
谓词公式是逻辑学中用来表达命题的符号化形式。在这个问题中，我们需要将命题“人总是要死的”用谓词公式表示出来。其中，M(x) 表示 x 是人，Mortal(x) 表示 x 是要死的。

步骤 2：分析命题
命题“人总是要死的”意味着，对于所有的人，他们都要死。这可以表示为：对于所有 x，如果 x 是人，那么 x 是要死的。用逻辑符号表示就是：对于所有 x，M(x) → Mortal(x)。

步骤 3：选择正确的谓词公式
根据上述分析，正确的谓词公式应该是：(∀ x) (M (x)→Mortal(x))。这是因为，这个公式表示了对于所有 x，如果 x 是人，那么 x 是要死的，这正是命题“人总是要死的”的含义。