西安电子科技大学$2.3.3谓词公式的翻译软件学院家【例题】判断下列命题是否等价。（a）金子都是闪光的；（b）没有不闪光的金子；(c）闪光的不都是金子；（d）有些东西虽然闪光但不是金子。(a)←(b)(c)(d)解答：仁在进行谓词公式翻译时，可以将命题转化为与之等价的另一个命题然后翻译，但要确保两者是等价的。西安电子科技大学 §2.3.3 谓词公式的翻译 软件学院 【例题】判断下列命题是否等价。 （a）金子都是闪光的； （b）没有不闪光的金子； （c）闪光的不都是金子； （d）有些东西虽然闪光但不是金子。 解答：（a） ⇔ （b） （c） ⇔ （d） 在进行谓词公式翻译时，可以将命题转化为 与之等价的另一个命题然后翻译，但要确保 两者是等价的