形式邏輯/謂詞邏輯

← 句子邏輯

↑ 形式邏輯

結束

謂詞邏輯

內容

1. 謂詞邏輯    
   1. 非正式概覽
      1. 目標
      2. 謂詞語言
   2. 語法
      1. 形式語法
      2. 自由變數與約束變數
      3. 非正式慣例
   3. 語義
      1. 模型
      2. 滿足
      3. 真理
   4. 自然語言翻譯
   5. 推論