《离散谓词.pptVIP

离散数学课幻灯片 数理逻辑 前言 研究人的思维形式和规律的科学称为逻辑学，由于研究的对象和方法各有侧重而又分为形式逻辑、辨证逻辑和数理逻辑。 数理逻辑是应用数学方法研究推理的科学。数理逻辑又叫符号逻辑，因为它的主要工具是符号体系。数理逻辑的核心是把逻辑推理符号化，即变成象数学演算一样完全形式化了的逻辑演算。 本章主要介绍命题演算(1.1---1.5) 第一章 数理逻辑 1 命题 2 重言式 3 范式 4 联结词扩充与归约 5 推理规则证明方法 命题的概念 所谓命题，是具有真假意义的陈述句，也就是能够确定或分辨其真假的陈述句，且真与假必居其一。简言之，命题是非真即假的陈述句。 命题是真就说其真值为真，命题是假就说其真值为假。 感叹句、疑问句、祈使句都不能称为命题。 判断结果不唯一确定的陈述句不是命题。 陈述句中的悖论不是命题。 原子命题,复合命题与命题联结词 1 否定词 ? 设p为命题，复合命题“非p”(或“p的否定”)称为p的否定式,记作┐p，符号┐称作否定联结词，并规定┐p为真当且仅当p为假。 2 合取词 ∧ 若 P,Q 表示命题，则 ‘P并且Q’ 也是命题，记为 P∧Q ,读为 ‘P合取Q’. P∧Q 的真值表如右表所示。由真值表可知 P∧Q 真,当且仅当 P,Q 俱真. 使用合取联结词时要注意的两