出处：哲学卷 • 逻 辑 学 • 现代形式逻辑
| 词条 | 形式系统 |
| 释义 | 形式系统 形式系统 数理逻辑名词。指建立在形式语言基础上的公理系统或自然推理系统。形式的公理系统通常由四个部分组成:(1)初始符号,它是构成形式系统的基本单位。(2)形成规则,它规定了哪些初始符号序列是合式公式。(1)和(2)构成一个形式语言。(3)公理,它是作为推理出发点的合式公式。(4)变形规则,它规定了如何从给定的一个或几个公式经过符号变换而推出另一公式。自然推理系统没有公理,仅由(1)(2)(4)三部分组成。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 形式系统 指建立在形式语言基础上的公理系统或自然推理系统。形式的公理系统通常由四个部分组成:(1)初始符号,它是构成形式系统的基本单位。(2)形成规则,它规定了哪些初始符号序列是合式公式。(1)和(2)构成一个形式语言。(3)公理,它是作为推理出发点的合式公式。(4)变形规则,它规定了如何从给定的一个或几个公式经过符号变换而推出另一公式。自然推理系统没有公理,仅由(1)(2)(4)三部分组成。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。