ch预备知识课程.pptVIP

Discrete Math. , Yanxiu Sheng 第1讲 预备知识 命题逻辑基础 ?? 命题公式：联结词、真值表、永真式、符号化 ?? 等值演算：等值式、等值演算 ?? 形式化证明：命题逻辑推理 数理逻辑基础 ?? 个体、谓词与量词 ?? 命题符号化 ?? 一阶谓词逻辑公式及分类 ?? 一阶谓词逻辑等值式与基本等值式 前束范式 重要的推理定律 命题公式——联结词 命题：能表达判断，并且具有确定真值的陈述句。 简单命题： p, q, r, p1, q1, r1,… 联结词 ： ?? 合取联结词：∧——“与” ?? 析取联结词：∨——“或” ?? 否定联结词：? ?? 蕴涵联结词：→——“充分条件” ?? 等价联结词：?——“充分必要条件” 逻辑真值： 0，1, (F，T 或 假，真) 联结词——否定 ?P为真当且仅当P为假. 例 p：上海是一个大城市。 ﹁p：上海不是一个大城市。 上海是一个不大的城市。 联结词——合取 p?q为真当且仅当p与q同时为真. 例 (1) 王晓既用功又聪明. (2) 王晓一边吃苹果一边看电视 联结词——析取 p?q为假当且仅当p与q都为假. 联结词——蕴含联结词 p→q为假当且仅当p为真而q为假. 称p为前件,q为后件. 例