题辑的局限性实词和个体词函数和量词合式公式白然语言的形式化实词公式解程 公式的普遮有效性和判定问题作 0000 ⊙000 ●0 0000000000 0000 命题逻辑的局限性 ●在命题逻辑中，是把简单命题作为基本单元或说作为原子来看待 的，不再对简单命题的内部结构进行分析。 ●命题P:V2是无理数： ●命题Q:2V2是无理数。 。“凡有理数都是实数.2/7是有理数.所以2/7是实数."的形式化 为pAq→r。 ·命题逻辑中，pAq→r不是一个正确的推理。 。但事实上，“凡有理数都是实数.2/7是有理数.所以2/7是实 数.”是一个正确的推理。 0Q0 刘肚利（上海交大CS实验室） 离数数学第四章：实词逻辑的基本概念 2133➲❑Ü✻✛Û⑩✺ ➣❝Ú❻◆❝ ➻êÚþ❝ Ü➟ú➟ ❣✱❾ó✛✴➟③ ➣❝ú➟✛✮➸ ú➟✛✃❍❦✟✺Ú✞➼➥❑ ❾➆ ➲❑Ü✻✛Û⑩✺ ✸➲❑Ü✻➙➜➫r④ü➲❑❾➃➘✢ü✄➼❵❾➃✝❢✺✇➊ ✛➜Ø✷é④ü➲❑✛❙Ü✭✟❄✶➞Û✧ ➲❑P: √ 2➫➹♥ê➯ ➲❑Q➭2 √ 2➫➹♥ê✧ “❹❦♥êÑ➫➣ê➞2➟7➫❦♥ê➞↕➧2➟7➫➣ê➞”✛✴➟③ ➃p ∧ q → r✧ ➲❑Ü✻➙➜p ∧ q → rØ➫➌❻✔✭✛í♥✧ ✂➥➣þ➜“❹❦♥êÑ➫➣ê➞2➟7➫❦♥ê➞↕➧2➟7➫➣ ê➞”➫➌❻✔✭✛í♥✧ ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶♦Ù➭➣❝Ü✻✛➘✢❱❣ 2 / 33