等值式 否定型等值式 量前分配等值式 范式-菲京范式及Skolem标准形 本的推理公式 推理演算 作业 000● 000 000000000 “天下乌鸦一般黑” ●F(x):x是乌鸦： G(x,y):x和y是一般黑： 。出式化为 x(F)AFG)一G6,) =-3目F(x)AF0)A一Gx,) 刘胜利（上海交大-CS实验室） 鹰数数学第五章：调前逻辑的等值和推理演算 6126✤❾➟ ➘➼✳✤❾➟ þ❝➞✛✤❾➟ ❽➟–❝å❽➟✾Skolem■❖✴ ➘✢✛í♥ú➟ í♥ü➂ ❾➆ “❯❡➾Ú➌❸ç” F(x): x➫➾Ú➯ G(x, y)➭xÚy➫➌❸ç➯ ✴➟③➃➭ (∀x)(∀y)(F(x) ∧ F(y) → G(x, y)) = ¬(∃x)(∃y)(F(x) ∧ F(y) ∧ ¬G(x, y)) ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶✃Ù➭➣❝Ü✻✛✤❾Úí♥ü➂ 6 / 26