等值式 否定型等值式 量词分配答值式 范式-菲京范式及Skolem标准形 基本的推理公式 推理演算 作型 00●0 000 000000000 “并非所有的动物都是猫” 。A(x:x是动物： B(x):x是猫： 。形式化为： (Hx)A(x)→B(x)=(3x)-(A(x)→B(x) =(3x)-(A(x)VB(x) =(3x)(A(x)A-B(x) 刘肚利（止海交大-C1S实当） 鹰数数学第五章：谓词逻辑的等值和推理演算 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