形式系统怎么读
点击播放按钮播放发音:
翻译解释
- 形式系统什么意思：[formal system]在逻辑中，指可以借以由其他公式推导出合式公式的一组形式语言与可演绎资料。每一个形式系统都有一种形式语言，包括一定形式规则（关于本系统所容许之词语的叙述）和由一组公理推论出来的一组定理。在任何公理系统中，基设符号都是不下定义的，其他所有符号都借基设符号来界定。例如，在欧几里得几何中，“点”、“线”、“介于”通常都当作初始术语。由初始符号所组成的某些公式被定义为合式的，其中一部分被列为公理；推演规则被用来从一个或多个作为前提的公式推演出一个作为结论的公式。在这样的系统中，一条定理是可以通过合式公式的有限序列加以证明的一个公式，这些合式公式中的每一个公式不是公理，就是从前面公式可以推得的公式。
- 形式系统的英语：formal system
- 形式系统的法语：système formelsystème formelle
- 形式系统的日语：けいしきけい
- 形式系统的韩语：형식 체계
- 形式系统的俄语：Формальная система
形式系统的发音，形式系统的读音发音，例句，用法，同义词，反义词由阿汉词典提供，版权所有违者必究。