首页|国学书库|影印古籍|诗词宝典|二十四史|汉语字典|汉语词典|部件查字|书法图集|甲骨文|历史人物|历史典故|年号|姓氏|民族|图书集成|印谱|丛书|中医中药|软件下载
译文|四库全书|全文检索|古籍书目|国学精选|成语词典|康熙字典|说文解字|字形演变|金 文|历史地名|历史事件|官职|知识|实录|石刻墓志|家谱|对联|历史地图|会员中心
数理逻辑名词。指建立在形式语言基础上的公理系统或自然推理系统。形式的公理系统通常由四个部分组成：(1)初始符号，它是构成形式系统的基本单位。(2)形成规则，它规定了哪些初始符号序列是合式公式。(1)和(2)构成一个形式语言。(3)公理，它是作为推理出发点的合式公式。(4)变形规则，它规定了如何从给定的一个或几个公式经过符号变换而推出另一公式。自然推理系统没有公理，仅由(1)(2)(4)三部分组成。
