出处：哲学卷 • 逻 辑 学 • 传统逻辑
| 词条 | 公理定义 |
| 释义 | 公理定义 公理定义 亦称“公设定义”“隐定义”。通过在公理系统中使用被定义项,由此自然而然地明确被定义项的语法作用和特征的定义方法。如一些命题逻辑系统以“█”(否定)和“➝”(蕴涵)作为初始概念,不加定义,而通过公理,在公理系统中使用它们,明确其意义作用,这就是公理定义。 出处：哲学卷 • 逻 辑 学 • 传统逻辑 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。