一、自然演绎系统的构成

  (1)初始符号
  (2)形成规则
  (3)变形规则

  关于左面的形成规则,有两点我们需要说明:
  1.规则(1)-(11)类似于命题演算形式系统中的形成规则,但这11条规则中的公式是谓词逻辑演算系统中的公式,而不是命题逻辑中的公式。
  2. 同命题演算形式系统类似,这15类形式规则每类都代表了无穷多条规则。
  (4)定理
  这个系统可推演出6.1公理系统的所有定理。