形式逻辑/谓词逻辑

← 句子逻辑

↑ 形式逻辑

结束

谓词逻辑

内容

1. 谓词逻辑    
   1. 非正式概览
      1. 目标
      2. 谓词语言
   2. 语法
      1. 形式语法
      2. 自由变量与约束变量
      3. 非正式惯例
   3. 语义
      1. 模型
      2. 满足
      3. 真理
   4. 自然语言翻译
   5. 推论