离散数学第四章：谓词逻辑的基本概念 刘胜利 liu-sl@cs.sjtu.edu.cn Tel:34204405 密码与信息安全实验室 计算机科学与工程系 上海交通大学 刘避利（上海交大CS实验室） 离散数学第四章：谓词逻辑的基本概念 1/1
l—ÍÆ1oŸµ¢c‹6ƒ Vg 4ë| liu-sl@cs.sjtu.edu.cn Tel: 34204405 óËÜ&ES ¢ø OéÅâÆÜÛßX ˛°œåÆ 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒ Vg 1 / 1
命题逻辑的局限性 ●在命题逻辑中，是把简单命题作为基本单元或说作为原子来看待 的，不再对简单命题的内部结构进行分析。 ●命题P:V是无理数； 。命题Q:2V2是无理数 。风有理数都层实数，2/7是有厘数，所以2/7是实数，的形式化 为A一。 。命题逻卸中，：人，一不是一个正确的推理， “是一个正隔的世理 刘避利（上海交大CS实验室） 离散数学第四章：谓问逻辑的基本概念 2/1
·K‹6¤Å5 3·K‹6•ß¥r{¸·Käèƒ ¸½`äèf5wñ ßÿ2È{¸·KS‹(?1©¤" ·KP: √ 2¥ÃnͶ ·KQµ2 √ 2¥ÃnÍ" “ÖknÍ—¥¢Í©2™7¥knÍ©§±2™7¥¢Í©”/™z èp ∧ q → r" ·K‹6•ßp ∧ q → rÿ¥òá(Ìn" Ø¢˛ß“ÖknÍ—¥¢Í©2™7¥knÍ©§±2™7¥¢ Í©”¥òá(Ìn" 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒ Vg 2 / 1
命题逻辑的局限性 ●在命题逻辑中，是把简单命题作为基本单元或说作为原子来看待 的，不再对简单命题的内部结构进行分析。 ●命题P:V是无理数； ●命题Q:2V2是无理数。 。风有理数都层实数，2/7是有厘数，所以2/7是实数，的形式化 为A一。 。命题逻氧中，”一不是一个正确的推理， 。但事实上，“凡有理数批是实数，2/7是有理数，所以2/7是实 最，“是一个正确的推理。 刘避利（上海交大CS实验室） 离散数学第四章：谓问逻辑的基本概念 2/1
·K‹6¤Å5 3·K‹6•ß¥r{¸·Käèƒ ¸½`äèf5wñ ßÿ2È{¸·KS‹(?1©¤" ·KP: √ 2¥ÃnͶ ·KQµ2 √ 2¥ÃnÍ" “ÖknÍ—¥¢Í©2™7¥knÍ©§±2™7¥¢Í©”/™z èp ∧ q → r" ·K‹6•ßp ∧ q → rÿ¥òá(Ìn" Ø¢˛ß“ÖknÍ—¥¢Í©2™7¥knÍ©§±2™7¥¢ Í©”¥òá(Ìn" 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒ Vg 2 / 1
命题逻辑的局限性 ●在命题逻辑中，是把简单命题作为基本单元或说作为原子来看待 的，不再对简单命题的内部结构进行分析。 ●命题P:V是无理数； ·命题Q:2V2是无理数。 。“凡有理数都是实数.2/7是有理数.所以2/7是实数."的形式化 为pAq→r。 ·命题逻辑中，p∧q→r不是一个正确的推理。 。但事实上，“凡有理数都是实数，2/7是有理数，所以2/7是实 最，“是一个正的推理 刘避利（上海交大CS实验室） 离散数学第四章：谓词逻辑的基本概念 2/1
·K‹6¤Å5 3·K‹6•ß¥r{¸·Käèƒ ¸½`äèf5wñ ßÿ2È{¸·KS‹(?1©¤" ·KP: √ 2¥ÃnͶ ·KQµ2 √ 2¥ÃnÍ" “ÖknÍ—¥¢Í©2™7¥knÍ©§±2™7¥¢Í©”/™z èp ∧ q → r" ·K‹6•ßp ∧ q → rÿ¥òá(Ìn" Ø¢˛ß“ÖknÍ—¥¢Í©2™7¥knÍ©§±2™7¥¢ Í©”¥òá(Ìn" 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒ Vg 2 / 1
命题逻辑的局限性 ●在命题逻辑中，是把简单命题作为基本单元或说作为原子来看待 的，不再对简单命题的内部结构进行分析。 ●命题P:V是无理数； ·命题Q:2V2是无理数。 。“凡有理数都是实数.2/7是有理数.所以2/7是实数."的形式化 为pAq→r。 。命题逻辑中，pAq→r不是一个正确的推理。 。但事实上，“凡有理数都是实数.2/7是有理数.所以2/7是实 数.”是一个正确的推理。 09G 刘避利（上海交大CS实验室） 离散数学第四章：谓词逻辑的基本概念 2/1
·K‹6¤Å5 3·K‹6•ß¥r{¸·Käèƒ ¸½`äèf5wñ ßÿ2È{¸·KS‹(?1©¤" ·KP: √ 2¥ÃnͶ ·KQµ2 √ 2¥ÃnÍ" “ÖknÍ—¥¢Í©2™7¥knÍ©§±2™7¥¢Í©”/™z èp ∧ q → r" ·K‹6•ßp ∧ q → rÿ¥òá(Ìn" Ø¢˛ß“ÖknÍ—¥¢Í©2™7¥knÍ©§±2™7¥¢ Í©”¥òá(Ìn" 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒ Vg 2 / 1