2-第一章节命题逻辑.ppt

* 信息工程学院 大连大学 第一章 命题逻辑 1.1 命题及其表示法 1.2 联结词 1.3 命题公式与翻译 1.4 真值表与等价公式 1.5 重言式与蕴含式 1.7对偶与范式 1.8推理理论 Propositional Logic 1.1 命题及其表示法 第1页 1 命题（Proposition） 2 命题的分类 3 命题的表示方法 1.1 命题及其表示法 第2页 例1 判断下列语句是否为命题。 （1） 是有理数。（2）火星上有生命。 （3）全体立正！ （4）你会开车吗？ （5）天气多好啊！ （6） （7）我正在说谎。 （8）我学英语和俄语。 1.1 命题及其表示法 第3页 注意： （1）判断命题的两个步骤： i）是否为陈述句； ii）是否有确定的、唯一的真值。 （2）一切没有判断内容的句子，无所谓是非的句 子，如感叹句、祁使句、疑问句等都不是命题。 （3） “具有唯一真值”是指客观上的具有，与我们 是否知道它的真值是两回事。 第4页 1.2 联结词（ Logical Connectives ） 1 否定联结词（Negation） ┐ 2 合取联结词（Conjunction）∧ 3 析取联结词（Disjunction）∨ 4 条件联结词（蕴涵联结词Conditional）→ 5 双条件联结词（等值联结词Biconditional）? 第5页 例1 P: 大连是一个城市。 1.2 联结词（ Logical Connectives ） 例2 P:大连处处清洁。 Q:这些都是男同学。 ┐P: 大连不是一个城市。 ┐P:大连不处处清洁。 (注意,不是处处不清洁)。 ┐Q:这些不都是男同学。 否定联结词 第6页 例3. 将下列命题符号化。 （1）李平既聪明又用功。 （2）李平虽然聪明， 但不用功。 （3）李平不但聪明，而且用功。 （4）李平不是不聪明，而是不用功。 1.2 联结词（ Logical Connectives ） 例4 （1）2与3的最小公倍数是6。 （2）王丽和王娟是好姐妹（学生）。 （3）1+1=2 并且 1+1 2。 （4）今天是晴天并且雪是白色的。 合取联结词 第7页 例5 （1）王冬梅学过日语或俄语。 （相容或） （2）李明正在教室上课或正 在参加长跑比赛。 （排斥或） 1.2 联结词（ Logical Connectives ） “P ∨ Q”表示的是“可兼或”。 （3）ab=0, 即a=0 或 b=0。 析取联结词 第8页 例6 （1）天不下雨，则草木枯黄。 （2）如果小明学日语，小华学英语，则小 芳学德语。 （3）只要不下雨，我就骑自行车上班。 （4）只有不下雨，我才骑自行车上班。 1.2 联结词（ Logical Connectives ） 条件联结词 第9页 例7 （1）两个三角形全等当且仅当它们 的三组对应边相等。 （2）燕子飞回北方，春天来了。 双条件联结词 1.2 联结词（ Logical Connectives ） 约 定: 1. 运算次序优先级：┐，?，?，→，?. 2. 相同的运算符按从左至右次序计算，否则 要加上括号。 3. 最外层圆括号可省去。 第一章 命题逻辑 1.1 命题及其表示法 1.2 联结词 1.3 命题公式与翻译 1.4 真值表与等价公式 1.5 重言式与蕴含式 1.7对偶与范式 1.8推理理论 Propositional Logic 第10页 定义1-3.1命题合式公式 (Well-formed formula, wff ) （1）单个命题变元本身是合式公式。 （2）若A是合式公式，则(┐A)也是合式公式。 （3）若A，B是合式公式，则(A∧B)，(A∨B)， (A?B)，(A?B)也是合式公式。 （4）当且仅当有限次地应用(1)