离散数学-数理逻辑

数理逻辑

数理逻辑就是用数学（符号化）的手段，研究有效的推理方法。
实际应用：

1. 逻辑设计
2. 人工智能
3. 语言理论
4. 程序正确性证明

第一章 命题及命题公式

1.命题与命题联结词
  1.1 命题：命题是具有确切真值的陈述句。
  1.1 原子命题：若一个不能再分解成更简单的命题，则称该命题为原子命题。
  1.1 复合命题：若一个可以再分解成更简单的命题，则称该命题为复合命题。
  1.2 命题联结词：$\neg$、$\wedge$、$\vee$、$\to$、$\leftrightarrow$（运算优先级从左往右）
  1.3 命题常元
  1.4 命题变元
2. 命题公式的等值演算
  2.1 命题公式（合式公式）：
    ①单个命题变元或命题常元是合式公式
    ②如果A是合式公式，那么$\neg$是合式公式。
    ③如果A和B是合式公式，那么（A$\wedge$B）、（A$\vee$B）、（A$\to$B）是（A$\leftrightarrow$B）是合式公式。
    ④当且仅当有限次应用了①②③所得到的的符号串是合式公式
  2.2逻辑等价式
    （1）双重否定律：A$\iff$$\neg$$\neg$A
    （2）交换律
    （3）结合律
    （4