出处：哲学卷 • 逻 辑 学 • 现代形式逻辑
| 字词 | 形式系统 |
| 释义 | 形式系统 形式系统 数理逻辑名词。指建立在形式语言基础上的公理系统或自然推理系统。形式的公理系统通常由四个部分组成:(1)初始符号,它是构成形式系统的基本单位。(2)形成规则,它规定了哪些初始符号序列是合式公式。(1)和(2)构成一个形式语言。(3)公理,它是作为推理出发点的合式公式。(4)变形规则,它规定了如何从给定的一个或几个公式经过符号变换而推出另一公式。自然推理系统没有公理,仅由(1)(2)(4)三部分组成。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 形式系统 指建立在形式语言基础上的公理系统或自然推理系统。形式的公理系统通常由四个部分组成:(1)初始符号,它是构成形式系统的基本单位。(2)形成规则,它规定了哪些初始符号序列是合式公式。(1)和(2)构成一个形式语言。(3)公理,它是作为推理出发点的合式公式。(4)变形规则,它规定了如何从给定的一个或几个公式经过符号变换而推出另一公式。自然推理系统没有公理,仅由(1)(2)(4)三部分组成。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
|
修远网汉语字词典收录72225条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。