您现在的位置是：首页 > 词典 > 方法

公理化方法

分类：方法1897字

一种构造理论体系的演绎方法。包括两个要点：第一，它在一个理论中明确区分了初始概念和被定义概念，出发命题(即公理)和被证命题(即定理);第二，它明确规定了演绎的规则。运用这些规则于公理和已证定理，就可以证明新的定理，从而构造整个理论系统。

用公理化方法构造的演绎系统，称为公理系统。公理化方法因公理而得名。公理，具有古典的含义和现代的含义，二者不尽相同。公理的古典含义要求作为公理的命题比理论中的其他命题更具有明显的真实性，以至可以被接受为不证自明。这里诉诸的是人们的经验、直觉。列宁所说的逻辑的格经过人们千百万次的实践而具有公理的意义，指的 ......     （共1897字）    [阅读本文]>>

其他相关分类

推荐内容

  • 方法

    二元对比排序方法

    模糊排序中最常用的方法。所谓排序是针对某种特定含义进行的。例如，在人群中按健康程度排序就是一个典型的模糊排序的例子。二元对比排序，是指对几个特定的排序对象在两面对比的基础上所做的整体排序。常用的二元对比

    1325字 24
  • 方法

    三分法

    三相模糊统计方法的一种特定方法。将一个论域分成三个模糊区域，关键在于找到二个分界点。例如：〔老，中，青〕的划分，在人的年龄集合〔0，200〕上要找到老年与中年的分界点，用ξ表示。还要找到中年与青年的分界

    518字 18
  • 方法

    内涵逻辑

    从某种严格的意义上说，内涵逻辑是研究涉及到意义或者意义等同的推理那种逻辑的一部分。它是和外延逻辑相对应的一种逻辑。外延逻辑对其一般原则的陈述和论证仅与下述概念相关：真与假，真值、集合或者类的同一和差异，

    1257字 19
  • 方法

    反三段论

    多重复合判断推理的一种。所有三段论都可以表述为多重复合判断“如果p且q，那么r”。其中p和q相当于三段论的两个前提，r相当于三段论的结论。所谓反三段论是沿着与三段论相反的方向进行的演绎推理。推理过程是首

    391字 17
  • 方法

    文恩图解法

    英国数学家文恩(JohnVenn，1834—1923)所创立的用图形来表示概念间外延关系的一种直观方法。文恩图解法是对欧拉图解法的发展，它通常用一个矩形方框表示全集，用在这方框中画着的园中的点集合表示全

    423字 12