西安电子科技大学$2.3.3谓词公式的翻译软件学院家教家【例题】在全总个体域中将下些语句翻译成谓词公式。（a）每个有理数都是实数：（b）实数不都是有理数（有些实数不是有理数）解答：设R(≤)：x是实数，Q(x)：x是有理数(a) 翻译为： (Vx)(Q()→R(×)或(b) 翻译为: -( x)(R(×)→Q(≤)(x)(R() Λ Q(×)西安电子科技大学 §2.3.3 谓词公式的翻译 软件学院 【例题】在全总个体域中将下些语句翻译成谓词公式。 （a）每个有理数都是实数； （b）实数不都是有理数（有些实数不是有理数）。 （a）翻译为: ( ∀x)(Q(x) → R(x)) 解答： （b）翻译为: ¬( ∀ x)(R(x) →Q(x)) 设R(x): x是实数，Q(x): x是有理数 ( ∃x)(R(x) ∧¬Q(x)) 或