西安电子科技大学$2.3.2特性谓词-软件学院家教家【例题】在全总个体域中将下些语句翻译成谓词公式。（a）所有的人都是要死的；（b）有些人不怕死。解答：设P(×):x是人，Q(×):x是要死的，R(x):x怕死(a) 翻译为：(Vx)(P()→Q(≤))(b) 翻译为:(日x)(P(x) ^-R(×)西安电子科技大学 软件学院 （a）翻译为: (∀x)(P(x)→Q(x)) 解答： （b）翻译为: (∃x)(P(x)∧¬ R(x)) 设P(x): x是人，Q(x): x是要死的，R(x): x怕死 【例题】在全总个体域中将下些语句翻译成谓词公式。 （a）所有的人都是要死的； （b）有些人不怕死。 §2.3.2 特性谓词