基本对象一个可以判定“真/假”的“东西”一命题一“今天是星期二。简单命题组成更复杂的命题一连接词一“如果今天是星期二，我们就有计算机问题求解课。"深入命题的内部一谓词与变元一在“今天下雨了。”和“昨天下雨了”之间建立逻辑联系。体现“普遍性”与“存在性”一量词“人总是要死的。32“有人活到一百岁
基本对象 ◼一个可以判定“真/假”的“东西”– 命题 – “今天是星期二。” ◼简单命题组成更复杂的命题 – 连接词 – “如果今天是星期二，我们就有计算机问题求解课。” ◼深入命题的内部 – 谓词与变元 – 在“今天下雨了。”和“昨天下雨了”之间建立 逻辑联系。 ◼体现“普遍性”与“存在性”– 量词 – “人总是要死的。” – “有人活到一百岁
逻辑连接词与真值表pqpvqpqpaqp~pTTTTTTTFFFTTTFFTFFTTTFFFFFFFpqpqp-qp<q每个连接词与我们日常TTTTTT生活中的某个连接词大致对应，但只是“大致TFFTFF对应。对连接词的理解FTTFFT和使用严格按照真值表TFFFFT给出的“数学定义
逻辑连接词与真值表 p ~p T F F T p q T T T F F T F F pq T F F F p q T T T F F T F F pq T T T F p q T T T F F T F F p→q T F T T p q T T T F F T F F pq T F F T 每个连接词与我们日常 生活中的某个连接词大 致对应，但只是“大致” 对应。对连接词的理解 和使用严格按照真值表 给出的“数学定义