形成规则

队形规则为:

被添加到LPC中，下谓词演算部分第一段中列出的形成规则(见上图下谓词演算)需要修改，以使新的符号能够合并到wffs中。这可以这样做:一项是第一个…

就构成规则而言，明确的描述可以通过让形式的表达式(ι)纳入LPC一个)α计数为项;在“LPC的扩展”中，上面的规则1’将允许它们出现在原子公式中(包括恒等公式)。n是(即，有…

通常需要一套队形规则。这是一套完整的、机械适用的、可以算作结构良好的公式(句子或有意义的表达式)的表述规范，从这个意义上说，机器可以检查候选人是否满足要求。该规范通常包含三个部分:(1)清单……

该系统可以通过使用以下形成规则来建立:

在任何逻辑系统中，都有必要指定哪些符号序列可以算作可接受的公式，或者通常被称为结构良好的公式。指定这一点的规则称为形成规则。从直觉的角度来看……