主要内容l 命题逻辑基本概念l 命题逻辑等值演算l 命题逻辑推理理论l 一阶逻辑基本概念l 一阶逻辑等值演算与推理第一部分 数理逻辑1第一章 命题逻辑的基本概念主要内容l 命题与联结词 命题及其分类 联结词与复合命题l 命题公式及其赋值2命题与真值 命题：判断结果惟一的陈述句 命题的真值：判断的结果 真值的取值：真与假 真命题与假命题注意：感叹句、祈使句、疑问句都不是命题陈述句中的悖论，判断结果不惟一确定的不是命题 1.1 命题与联结词3例1 下列句子中那些是命题？ (1) 是有理数. (2) 2 + 5 = 7. (3) x + 5 3. (4) 你去教室吗？ (5) 这个苹果真大呀！ (6) 请不要讲话！ (7) 2050年元旦下大雪. 假命题命题概念 真命题不是命题 不是命题 不是命题不是命题命题，但真值现在不知道4命题分类：简单命题（也称原子命题）与复合命题简单命题符号化l 用小写英文字母 p, q, r, , pi, qi, ri (i 1)表示简单命题l 用“1”表示真，用“0”表示假 例如，令 p： 是有理数，则 p 的真值为0， q：2 + 5 = 7，则 q 的真值为
