1. 分类
   1. 辩证逻辑
      1. 辩证法
   2. 形似逻辑
2. 命题 Propostion
   1. 定义 Definition
      1. A declarative sentence that is either rue or false but not all.
      2. 陈述句
         1. 一般命题
         2. 模糊命题
            1. 模糊数学
         3. 模态命题
         4. 悖论
   2. 分类
      1. 简单命题（原子命题）
         1. 不可再分
      2. 复合命题（分子命题）
         1. 可再分
   3. 命题符号化
      1. 句子翻译成逻辑表达式
      2. 去除二义性
      3. 许多学科的重要任务
         1. 逻辑编程
         2. 人工智能
         3. 软件工程
      4. 步骤
         1. 确定命题含义
         2. 找连接词，断句
         3. 设原子命题符号，用逻辑连接词连接
   4. 习惯用q，p，r表示命题
3. 真值
   1. 真值表 Truth Table
      1. T 1
      2. F 0
   2. 真值确定
      1. 时间性
      2. 区域性
      3. 标准性
      4. 严格的真值是非常烦的
4. 逻辑运算
   1. 命题+逻辑连接词=新命题
   2. 逻辑连接符
      1. 与或非
      2. 或
         1. 兼容或
         2. 异或
         3. 近似或
      3. 异或XOR
         1. p xor q<->(q&&!p)||(!q&&p)
         2. PQ真值相同时为真
      4. 蕴含-> implication
         1. if_then
         2. 只要……能（能够）
         3. 充分条件
         4. P真Q假是为假
         5. p->q
            1. 逆蕴含
            2. q->p
            3. 反蕴含
            4. !p->!q
            5. 倒置蕴含
            6. !q->!p
         6. 包含两个不等价的命题产生一个新命题
            1. 前提p
            2. 充分条件
            3. 结论q
            4. 必要条件
            5. Example
      5. 等价<->
         1. if and only if
         2. 只有……能（可能）
         3. 必要条件
      6. 优先级
         1. ！ && || -> <->
   3. 形式逻辑
      1. 只是规则
      2. 不考虑语义和现实
5. 说明
   1. 部分符号不好打，用了不规范的代替