形式逻辑/命题逻辑

← 预备知识

↑ 形式逻辑

谓词逻辑 →

命题逻辑

完整的命题逻辑在一个模块中    (页面很大，加载很慢)   

内容

1. 命题逻辑    
   1. 非正式概述
      1. 目标
      2. 命题语言
   2. 语法
      1. 形式语法
      2. 非正式约定
   3. 语义
      1. 形式语义
      2. 真值表
      3. 有效性
      4. 可表达性
      5. 命题联结词的性质
      6. 替换和交换
   4. 自然语言翻译
      1. 翻译
   5. 推导
      1. 推导
      2. 推理规则
      3. 构建一个简单的推导
      4. 子推导和放缩规则
      5. 构建一个复杂的推导
      6. 定理
      7. 派生推理规则
      8. 推导中的析取