离散数学考前复习：（二）数理逻辑

离散数学考前复习：（二）数理逻辑

2.1 命题及联结词

• 命题：命题是指一个判断（陈述）的语义（实际表达的概念），这个概念是可以被定义并观察的现象。命题不是指判断（陈述）本身，而是指所表达的语义。当相异判断（陈述）具有相同语义的时候，他们表达相同的命题。

• 命题联结词：
  非：否定联结词（-p为真仅当p为假）
  并：合取联结词（p∧q为真当且仅当q,p同为真）
  或：析取联结词（p∨q为真当且仅当p或q有一为真）
  蕴涵：蕴涵联结词（p→q为假仅当p为真q为假）
  等价：等价联结词（p↔q为真仅当p,q的真值相同）

• 命题联结词的优先级
  （1）否定<合取<析取<蕴涵<等价
  （2）同级的联结词按从左到右确定
  （3）括号优先级最高

2.2 命题公式和分类

• 原子命题公式（合式公式，又称命题公式、公式）：
  (1)单个命题常项或变项是合式公式;
  (