西南交大离散数学1-1.pptVIP

逻 辑 学 逻辑学是一门研究思维形式及思维规律的科学 什么是数理逻辑？ 关于逻辑 关于逻辑 例： 现在是晚上十一点，天很冷。 第一章 数理逻辑 一 命题逻辑 命题及其表示法 联结词 命题公式与翻译 真值表与等价式 重言式与蕴含式 对偶与范式 推理理论 二 谓词逻辑 谓词的概念与表示 命题函数与量词 谓词公式与翻译 变元的约束 谓词演算的等价式与蕴含式 前束范式 谓词演算的推理理论 本章作业 二、命题联结词 命题公式与翻译 关于命题逻辑--答案 7）条件否定（P? Q） 运算法则： F F T F P? Q F F T F F T T T Q P 8）与非（P↑ Q） 运算法则： T T T F P↑ Q F F T F F T T T Q P 9）或非（P↓ Q） 运算法则： T F F F P↓ Q F F T F F T T T Q P BACK 命题公式：若P和Q是命题变元，则 ┒ P , P∨ Q , (P∨ Q)∨ (P→ Q) , P ? (Q∨ ┒ P) 都称作命题公式。 注：命题公式是没有真假值的，仅当在一个公式中命题变元用确定的命题代入时，才得到一个命题。 * 判断1 判断2 判断3 新 判断 推理 真 话 假 话 烧死 绞死 我会被绞死 用数学方法来研究推理的规律称为数理逻辑。这里所指的数学方法，就是引进一套符号体系的方法，所以数理逻辑又称为符号逻辑，它是从量的侧面来研究思维规律的学科。 命题逻辑 谓词逻辑 问题：传说中有一个住在边远小镇上的剃头匠,这个剃头匠只能给那些不自己剃须的人刮胡子,他能给自己剃须吗? 问题:边远村庄的每个人要么总说真话,那么总说谎.对旅游者的问题,村民要么回答“是”,要么回答“否”.假定你在这一地区旅游,走到一个岔路口,一条岔路通向你想去的遗址,一条岔路通向丛林深处,此时恰好有一村民站在岔路口,问村民什么样的一个问题就能决定走哪条路? 问题：甲、乙、丙、丁四人参加拳击比赛，如果甲获胜，则乙失败；如果丙获胜，则乙也获胜；如果甲不获胜，则丁不失败。 能否推出结论：如果丙获胜，则丁不失败 问题：设计一个控制客厅照明的电路，使得分别装在卧室和客厅的两只开关都能控制照明。 如果我的程序通过，那么，我很快乐。 如果我很快乐，那么，阳光很好。 由这些前提，可以得到什么结论？ 现在是晚上十一点，天很冷。 如果我的程序通过，那么，我很快乐。 如果我很快乐，那么，阳光很好。 P → Q Q →R P → Q Q →R ? Q → ? P ? R → ? Q ? R ? Q ? P P：程序通过 Q：我快乐 R：阳光很好 ? R 判断：通过概念对事物是否具有某种属性进 行肯定或否定的回答。 一、命题及其表示 1、命题的定义 命题：指能表达判断的陈述句。 一个命题，总是具有一个“值”，称为真值。 真值只有“真”和“假”两种，记作True（真） 和False（假），分别用符号T和F表示。只有 具有确定真值的陈述句才是命题，一切没有 判断内容的句子，无所谓是非的句子，如感 叹句，疑问句，祈使句等都不能作为命题。 2、命题类型 命题有两种类型： 原子命题：不能分解为更简单的陈述语句的命题。 复合命题：由联结词，标点符号和原子命题复合构成的命题。 所有这些命题，都应具有确定的真值。 联结词的例子，如：“并且”、“或者”、“如果…则…”等。 例：判断下面的句子是否为命题。 （1）中国人民是伟大的。 （2）雪是黑的。 （3）1+101=110 （4）别的星球上有生物。 （5）全体立正。 （6）明天是否开大会？ （7）天气多好啊！ （8）我正在说谎。 （9）我学英语，或者我学日语。 3、命题的表示 在本课程中，我们将使用大写字母A、B、…、P、Q、…，或带下标的大写字母，或方括号括起来的数字。来表示命题。 如： P：太阳从西边出来。 [12]：太阳从西边出来。 即命题既可用字母也可用数字来表示 命题标识符 表示命题的符号。 命题常量 一个具体的命题。 命题变元 命题标识符只表示任意命题的位置。 注：命题变元不是命题。 指 派 当命题变元P用一个特定的命题取代时，P才能确 定真值，称对P进行指派。 命题逻辑与程序语言的对应关系