形式逻辑/详细目录

↑ 形式逻辑

详细目录

形式逻辑

1. 预备知识    
   1. 集合
2. 命题逻辑    
   1. 非正式概述
      1. 目标
      2. 命题语言
   2. 语法
      1. 形式语法
      2. 非正式约定
   3. 语义
      1. 形式语义
      2. 真值表
      3. 有效性
      4. 表达能力
      5. 命题联结词的性质
      6. 替换和互换
   4. 自然语言翻译
      1. 翻译
   5. 推导
      1. 推导
      2. 推理规则
      3. 构造一个简单的推导
      4. 子推导和解除规则
      5. 构造一个复杂的推导
      6. 定理
      7. 推导的推理规则
      8. 推导中的析取
3. 谓词逻辑    
   1. 非正式概述
      1. 目标
      2. 谓词语言
   2. 语法
      1. 形式语法
      2. 自由变量和约束变量
      3. 非正式约定
   3. 语义
      1. 模型
      2. 满足
      3. 真值
   4. 自然语言翻译
   5. 推导
4. 同一性理论
   1. 语法
   2. 语义
   3. 自然语言翻译
   4. 推导