离散数学

自然推理系统

定义

自然推理系统 $P$ 由以下组成:

  • 字母表
    • 命题变项符号
    • 联结词符号
    • 逗号括号
  • 合式公式
  • 推理规则