等值式 香定型等值式 量前分配等值式 范式-菲京范式及Skolem标准形 基本的推理公式 推理演算 作业 00●0 000 000000000 “并非所有的动物都是猫” ●A(x):x是动物： B(x):x是猫： 。形式化为： Vx)A一Bx)=r=(AE一B) =-一Ax)VB) =@AA一B 刘胜利（上海交大-CS实验室） 鹰数数学第五章：四前逻辑的等值和推理演算 5/26✤❾➟ ➘➼✳✤❾➟ þ❝➞✛✤❾➟ ❽➟–❝å❽➟✾Skolem■❖✴ ➘✢✛í♥ú➟ í♥ü➂ ❾➆ “➾➎↕❦✛➘ÔÑ➫❝” A(x): x➫➘Ô➯ B(x)➭x➫❝➯ ✴➟③➃➭ ¬(∀x)(A(x) → B(x)) = (∃x)¬(A(x) → B(x)) = (∃x)¬(¬A(x) ∨ B(x)) = (∃x)(A(x) ∧ ¬B(x)) ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶✃Ù➭➣❝Ü✻✛✤❾Úí♥ü➂ 5 / 26