形式邏輯/詳細目錄

↑ 形式邏輯

詳細目錄

形式邏輯

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. 推導