等值式 否定型等值式 量词分配管值式范式-前京苑式及Sk0lem标准形 基本的推理公式 推理流算 作亚 0●00 000 0 000000000 否定型等值式 否定词“一"可越过上词深入到上词的辖域内，但要把所越过的上词转换 为3,3转换为1。 ●Hx)P(x)=(3x)-P(x) ●=x)Px=V-Px 。在1,21域上分析 =2=一2= 三P2三2P 刘胜利（上海交大-CS实验室） 鹰数数学第五章：谓词泛辑的等值和推理滨算 4/26
✤❾➟ ➘➼✳✤❾➟ þ❝➞✛✤❾➟ ❽➟–❝å❽➟✾Skolem■❖✴ ➘✢✛í♥ú➟ í♥ü➂ ❾➆ ➘➼✳✤❾➟ ➘➼❝“¬”➀✖▲þ❝✢❭✔þ❝✛❵➁❙➜✂❻r↕✖▲✛þ❝∀❂❺ ➃∃➜∃❂❺➃∀✧ ¬(∀x)P(x) = (∃x)¬P(x) ¬(∃x)P(x) = (∀x)¬P(x) ✸{1, 2}➁þ➞Û ¬(∀x)P(x) = ¬(P(1) ∧ P(2)) = ¬P(1) ∨ ¬P(2) = (∃x)¬P(x) ¬(∃x)P(x) = ¬(P(1) ∨ P(2)) = ¬P(1) ∧ ¬P(2) = (∀x)¬P(x) ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶✃Ù➭➣❝Ü✻✛✤❾Úí♥ü➂ 4 / 26
等值式 否定型等值式 量词分配答值式 范式-前京苑式及Skolem标准形 基本的推理公式 推理流算 作亚 0●00 000 000000000 否定型等值式 否定词“一"可越过上词深入到上词的辖域内，但要把所越过的上词转换 为3,3转换为1。 ●Hx)P(x)=(3x)-P(x) ●(3x)P(x)=(Hx)Px) 。在1,2域上分析 。-x)Px=PH1)AP2)1=-P1y一P2)=3C-PC 三因1P2三一P 刘胜利（上海交大-CS实验室） 鹰数数学第五章：谓词泛辑的等值和推理滨算 4/26
✤❾➟ ➘➼✳✤❾➟ þ❝➞✛✤❾➟ ❽➟–❝å❽➟✾Skolem■❖✴ ➘✢✛í♥ú➟ í♥ü➂ ❾➆ ➘➼✳✤❾➟ ➘➼❝“¬”➀✖▲þ❝✢❭✔þ❝✛❵➁❙➜✂❻r↕✖▲✛þ❝∀❂❺ ➃∃➜∃❂❺➃∀✧ ¬(∀x)P(x) = (∃x)¬P(x) ¬(∃x)P(x) = (∀x)¬P(x) ✸{1, 2}➁þ➞Û ¬(∀x)P(x) = ¬(P(1) ∧ P(2)) = ¬P(1) ∨ ¬P(2) = (∃x)¬P(x) ¬(∃x)P(x) = ¬(P(1) ∨ P(2)) = ¬P(1) ∧ ¬P(2) = (∀x)¬P(x) ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶✃Ù➭➣❝Ü✻✛✤❾Úí♥ü➂ 4 / 26
等值式 否定型等值式 量词分配等值式 范式-前京范式及Skolem标准形 基本的推理公式 推理演算 作 0●00 000 000000000 否定型等值式 否定词“一"可越过量词深入到量词的辖域内，但要把所越过的量词转换 为3,3转换为1。 ●(Hx)P(x)=(3x)-P(x) ●(3x)P(x)=(Hx)-P(x) 。在{1,2域上分析 。-P=(P1)AP2)=-P1月V-P2)=3=Pc -(P(=(P()V P(2)=-P()A-P(2)=(P() 刘胜利（上海交大-CS实验室） 离放数学第五章：谓词逻辑的等值和推理演算 4/26
✤❾➟ ➘➼✳✤❾➟ þ❝➞✛✤❾➟ ❽➟–❝å❽➟✾Skolem■❖✴ ➘✢✛í♥ú➟ í♥ü➂ ❾➆ ➘➼✳✤❾➟ ➘➼❝“¬”➀✖▲þ❝✢❭✔þ❝✛❵➁❙➜✂❻r↕✖▲✛þ❝∀❂❺ ➃∃➜∃❂❺➃∀✧ ¬(∀x)P(x) = (∃x)¬P(x) ¬(∃x)P(x) = (∀x)¬P(x) ✸{1, 2}➁þ➞Û ¬(∀x)P(x) = ¬(P(1) ∧ P(2)) = ¬P(1) ∨ ¬P(2) = (∃x)¬P(x) ¬(∃x)P(x) = ¬(P(1) ∨ P(2)) = ¬P(1) ∧ ¬P(2) = (∀x)¬P(x) ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶✃Ù➭➣❝Ü✻✛✤❾Úí♥ü➂ 4 / 26
等值式 香定型等值式 量词分配等值式 范式-菲京范式及Skolem标准形 基本的推理公式 推理演算 作 0●00 000 0 000000000 否定型等值式 否定词“一"可越过量词深入到量词的辖域内，但要把所越过的量词转换 为3,3转换为1。 ●Hx)P(x)=(3x)-P(x) ●(3x)P(x)=(Hx)-P(x) 。在{1,2域上分析 (Hx)P(x)=(P(1)∧P(2)=P1)VP(2)=(3x)-P(x) ●-)Px=-(P1)VP2)=一P1A一2)=)P 刘胜利（上海交大-CS实验室） 鹰数数学第五章：谓词逻辑的等值和推理演算 4/26
✤❾➟ ➘➼✳✤❾➟ þ❝➞✛✤❾➟ ❽➟–❝å❽➟✾Skolem■❖✴ ➘✢✛í♥ú➟ í♥ü➂ ❾➆ ➘➼✳✤❾➟ ➘➼❝“¬”➀✖▲þ❝✢❭✔þ❝✛❵➁❙➜✂❻r↕✖▲✛þ❝∀❂❺ ➃∃➜∃❂❺➃∀✧ ¬(∀x)P(x) = (∃x)¬P(x) ¬(∃x)P(x) = (∀x)¬P(x) ✸{1, 2}➁þ➞Û ¬(∀x)P(x) = ¬(P(1) ∧ P(2)) = ¬P(1) ∨ ¬P(2) = (∃x)¬P(x) ¬(∃x)P(x) = ¬(P(1) ∨ P(2)) = ¬P(1) ∧ ¬P(2) = (∀x)¬P(x) ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶✃Ù➭➣❝Ü✻✛✤❾Úí♥ü➂ 4 / 26
等值式 香定型等值式 量词分配等值式 范式-菲京范式及Skolem标准形 基本的推理公式 推理演算 作 0●00 000 0 000000000 否定型等值式 否定词“一”可越过量词本入到量词的辖域内，但要把所越过的量词转换 为3,3转换为1。 ●Hx)P(x)=(3x)-P(x) ●(3x)P(x)=(Hx)-P(x) 。在1,2域上分析 (Hx)P(x)=(P1)AP(2)=P(1)VP(2)=(3x)-P(x) ●(3x)P(x)=(P(1)VP(2)=P(1)AP(2)=(Hx)=P(x) 刘胜利（上海交大-CS实验室） 鹰数数学第五章：谓词逻辑的等值和推理演算 4/26
✤❾➟ ➘➼✳✤❾➟ þ❝➞✛✤❾➟ ❽➟–❝å❽➟✾Skolem■❖✴ ➘✢✛í♥ú➟ í♥ü➂ ❾➆ ➘➼✳✤❾➟ ➘➼❝“¬”➀✖▲þ❝✢❭✔þ❝✛❵➁❙➜✂❻r↕✖▲✛þ❝∀❂❺ ➃∃➜∃❂❺➃∀✧ ¬(∀x)P(x) = (∃x)¬P(x) ¬(∃x)P(x) = (∀x)¬P(x) ✸{1, 2}➁þ➞Û ¬(∀x)P(x) = ¬(P(1) ∧ P(2)) = ¬P(1) ∨ ¬P(2) = (∃x)¬P(x) ¬(∃x)P(x) = ¬(P(1) ∨ P(2)) = ¬P(1) ∧ ¬P(2) = (∀x)¬P(x) ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶✃Ù➭➣❝Ü✻✛✤❾Úí♥ü➂ 4 / 26