西安电子科技大学S2.3.1个体域的选取软件学院【例题】分别在变元论域D1=“全人类”和D=“全体动物”中，将以下语句翻译成谓词公式。（a）“所有人都是要死的”（b）“有些人不怕死”解答：设P(×):x是人，Q(x):x是要死的，R(x)：x怕死(a）在个体域D1中的翻译为：（Vx)Q(x)在个体域D2中的翻译为：(Vx)(P(x)→Q(x)（b）在个体域D1中的翻译为：（日x)一Q(x）在个体域D2中的翻译为：(日x)(P(x)^-R(x))西安电子科技大学 软件学院 （a）在个体域D1中的翻译为： ( ∀x)Q(x) 在个体域D2中的翻译为: ( ∀x)(P(x) →Q(x)) 解答： （b）在个体域D1中的翻译为： ( ∃x)¬ Q(x) 在个体域D2中的翻译为: ( ∃x)(P(x) ∧¬ R(x)) 设P(x): x是人，Q(x): x是要死的，R(x): x怕死 §2.3.1 个体域的选取