命题逻辑的基本概念.pptVIP

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