命题通辑的局限性谓词和个体词函数和量词合式公式白然语言的形式化调园公式的解释公式的管空有效和判定问题作 00c0 ⊙000 00 0000000000 0000 谓词和个体词 张理是学生，李四是学生 ●个体词：张理，李四： ·谓词：命题中如果主词只有一个，那四表示主词性质或者属性的词 就是（一元）谓词。如：“是学生”就是一个谓词。命题中若有多个个 体词，那四表示多个主词间的关系的词就称为（多元）谓词。 ●谓词的表示：大写字母P(),Q)。命题表示为P(x),Q(x,y),其 中x,y是个体词。 刘肚利（上海变大CS实验室） 离数数学第四章：谓词逻辑的基本报念 4/33
➲❑Ü✻✛Û⑩✺ ➣❝Ú❻◆❝ ➻êÚþ❝ Ü➟ú➟ ❣✱❾ó✛✴➟③ ➣❝ú➟✛✮➸ ú➟✛✃❍❦✟✺Ú✞➼➥❑ ❾➆ ➣❝Ú❻◆❝ Ü♥➫➷✮➞♦♦➫➷✮➞ ❻◆❝➭Ü♥➜♦♦➯ ➣❝➭➲❑➙❳❏❒❝➄❦➌❻➜❅♦▲➠❒❝✺➓➼öá✺✛❝ Ò➫(➌✄)➣❝✧❳➭“➫➷✮”Ò➫➌❻➣❝✧➲❑➙❡❦õ❻❻ ◆❝➜❅♦▲➠õ❻❒❝♠✛✬❳✛❝Ò→➃(õ✄)➣❝✧ ➣❝✛▲➠➭➀✕✐✶P(·)➜Q(·)✧➲❑▲➠➃P(x), Q(x, y)➜Ù ➙x, y➫❻◆❝✧ ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶♦Ù➭➣❝Ü✻✛➘✢❱❣ 4 / 33
题通辑的局限性谓词和个体词函数和量词合式公式白然语言的形式化调园公式解释公式的普迪有效性和判定问题作 ●000 0000 00 0000000000 0000 谓词举例 ·“张三和李四是兄弟”，其中“是兄弟”是谓词： 。“5大于3”.其中“大于是谓词 。“张三比李四高”，其中“比高是谓词： 收上其中在上是谓词 口回1元，4元↑至0QC 刘肚利（上海变大CS实监室） 离数数学第四章：谓词逻辑的基本概念 5/33
➲❑Ü✻✛Û⑩✺ ➣❝Ú❻◆❝ ➻êÚþ❝ Ü➟ú➟ ❣✱❾ó✛✴➟③ ➣❝ú➟✛✮➸ ú➟✛✃❍❦✟✺Ú✞➼➥❑ ❾➆ ➣❝Þ⑦ “Ü♥Ú♦♦➫✼✸”➜Ù➙“➫✼✸”➫➣❝➯ “5➀✉3”➞Ù➙“➀✉”➫➣❝➯ “Ü♥✬♦♦♣”➞Ù➙“✬...♣”➫➣❝➯ “❯✾➔✉✏➤✛➚❍”➞Ù➙“➔✉...➚❍”➫➣❝➯ “A✸Bþ”➞Ù➙“✸...þ”➫➣❝✧ ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶♦Ù➭➣❝Ü✻✛➘✢❱❣ 5 / 33
命题烫辑的局限性得词和个体词函数和园 司最公式白然语言的形式化胃园公式的解释公式的管造有效性和判定问题作 ●000 ⊙000 00 0000000000 0000 谓词举例 。“会理和李四是兄弟”，其中“是兄弟”是谓词： ●“5大于3”分其中“大于”是谓词： 。“理比李四高分其中“比高是调词： 。“天津位于北京的东南分其中位于，东南”是骨词： 。“B上”分中在上“是的间 口回1元，4元↑至0QC 刘肚利（上海交大CS实验室） 离数数学第四章：谓词逻辑的基本概念 5/33
➲❑Ü✻✛Û⑩✺ ➣❝Ú❻◆❝ ➻êÚþ❝ Ü➟ú➟ ❣✱❾ó✛✴➟③ ➣❝ú➟✛✮➸ ú➟✛✃❍❦✟✺Ú✞➼➥❑ ❾➆ ➣❝Þ⑦ “Ü♥Ú♦♦➫✼✸”➜Ù➙“➫✼✸”➫➣❝➯ “5➀✉3”➞Ù➙“➀✉”➫➣❝➯ “Ü♥✬♦♦♣”➞Ù➙“✬...♣”➫➣❝➯ “❯✾➔✉✏➤✛➚❍”➞Ù➙“➔✉...➚❍”➫➣❝➯ “A✸Bþ”➞Ù➙“✸...þ”➫➣❝✧ ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶♦Ù➭➣❝Ü✻✛➘✢❱❣ 5 / 33
命题通辑的局限性世词和个体词函数和量词合式公式白然语言的形式化四园公式的解释公式的普迪有效和判定问题作 ●000 0000 00 0000000000 0000 谓词举例 ●“部理和李四是兄弟”，其中“是兄弟”是谓词： ●“5大于3”分其中“大于”是谓词： ●“部理比李四高”分其中“比高”是谓词： 。“天津位于北京的东南分其中“位于，东南是谓词： 。“A在B上”分其中“在.上"是谓词 口回1元，4元↑至0QC 刘肚利（上海交大CS实验室） 离数数学第四章：谓词逻辑的基本概念 5/33
➲❑Ü✻✛Û⑩✺ ➣❝Ú❻◆❝ ➻êÚþ❝ Ü➟ú➟ ❣✱❾ó✛✴➟③ ➣❝ú➟✛✮➸ ú➟✛✃❍❦✟✺Ú✞➼➥❑ ❾➆ ➣❝Þ⑦ “Ü♥Ú♦♦➫✼✸”➜Ù➙“➫✼✸”➫➣❝➯ “5➀✉3”➞Ù➙“➀✉”➫➣❝➯ “Ü♥✬♦♦♣”➞Ù➙“✬...♣”➫➣❝➯ “❯✾➔✉✏➤✛➚❍”➞Ù➙“➔✉...➚❍”➫➣❝➯ “A✸Bþ”➞Ù➙“✸...þ”➫➣❝✧ ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶♦Ù➭➣❝Ü✻✛➘✢❱❣ 5 / 33
题通辑的局限性母词和个体词函数和量词合式公式白然语言的形式化母园公式解释公式的密空有效和判定问题作 ●000 0000 00 0000000000 0000 谓词举例 。“张三和李四是兄弟"”，其中“是兄弟”是谓词： ●“5大于3”.其中“大于”是谓词： ●“张三比李四高”.其中“比.高”是谓词： 。“天津位于北京的东南”.其中“位于.东南”是谓词： 。“A在B上”，其中“在上是情词 口回1元，4元↑至0QC 刘肚利（上海交大CS实验室） 离散数学第四：谓词更辑的基本概念 5/33
➲❑Ü✻✛Û⑩✺ ➣❝Ú❻◆❝ ➻êÚþ❝ Ü➟ú➟ ❣✱❾ó✛✴➟③ ➣❝ú➟✛✮➸ ú➟✛✃❍❦✟✺Ú✞➼➥❑ ❾➆ ➣❝Þ⑦ “Ü♥Ú♦♦➫✼✸”➜Ù➙“➫✼✸”➫➣❝➯ “5➀✉3”➞Ù➙“➀✉”➫➣❝➯ “Ü♥✬♦♦♣”➞Ù➙“✬...♣”➫➣❝➯ “❯✾➔✉✏➤✛➚❍”➞Ù➙“➔✉...➚❍”➫➣❝➯ “A✸Bþ”➞Ù➙“✸...þ”➫➣❝✧ ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶♦Ù➭➣❝Ü✻✛➘✢❱❣ 5 / 33