公式 (数理逻辑)
在数理逻辑中，公式是
公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑）：公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数（arity）来指示它所接受的参数的数目。
定义.
项的递归定义.
或
或
公式的递归定义.
或
或
或
或
formula_18
解释.
但是相比较按照这个公式计算formula_19，还是按照递归定义：formula_20进行计算更方便。
生成维基百科快照图片，大概需要3-30秒！
如果网站内容有侵犯您的版权
请联系：pinbor@iissy.com
请联系：pinbor@iissy.com
Copyright ©2014 iissy.com, All Rights Reserved.