自然演绎

  1. 首页
  2. 通用类
  3. 术语
  4. 自然演绎
热度:150

简介

在数理逻辑中,自然演绎是证明论中尝试提供象“自然”发生一样的逻辑推理形式模型的一种方式。这种方式对比于使用公理的公理系统。

中文名 自然演绎
原始名称 自然演绎
外文名 natural deduction
英文名 natural deduction
精选上位词
  • 方式
  • 术语
    1. 首页
    2. 通用类
    3. 术语
    4. 自然演绎