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