离散结构-02

离散结构

命题中的符号

1. 常远
2. 变元
3. 联接词
4. 辅助符号如（）

合式公式

定义：合法的命题公式

公式的层次

公式的解释

命题公式代表一个命题，但只有当公式中的每一个变元都用一个确定的命题带入时，命题公式才有确定值，成为命题。

• 成真赋值
• 成假赋值

公式相等证明：

1. 列真值表法
2. 等值演算

公式的类型

1. 永真式
2. 永假式
3. 可满足式

例题：

P：通过六级
Q：是英语专业学生（~代表非）
R：选修这门课

P^（~Q）<-R

等值式及等值演算

基本等值式

置换规则

例题：