命题逻辑的局限性 ●在命题逻辑中，是把简单命题作为基本单元或说作为原子来看待 的，不再对简单命题的内部结构进行分析。 ●命题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