合式公式造句

• 合式公式经解释后是有意义的。
• 设φ、χ和ψ表示合式公式。
• ④只有适合以上①～③的是合式公式。
• ②如果X是合式公式，则?X是合式公式。
• 合式公式简称公式。
• 生成规则(就是形成合式公式的递归定义)。
• 应用这些符号就可以构造出这个演算的合式公式。
• 今后我们将合式公式称为命题公式，或简称为公式。
• （3）每个合式公式均可通过有限次应用（1）、（2）获得。
• 形成规则规定怎样的符号序列或符号的组合是F中的合式公式。
• (4)只有有限次地应用(1)～(3)组成的符号串才是合式公式。
• 一阶逻辑的合式公式，在形式化的一阶语言中递归地定义的公式。
• 规定什么样的符号序列是形式语言的语句，即合式公式，简称公式。
• 逻辑语的文法源自谓词逻辑，其陈述（句子）就是谓词逻辑中的合式公式。
• 应用上述公理和推理规则，经过有穷步骤，可推导出一系列合式公式，即PLTL的定理。
• 在公理的集合是无限的的时候，需要能判定给定的合式公式是否是一个公理的一个算法。
• 对于每一个合式公式的编码，但是，有一个相当于合式公式在无功能(通常简称其无功能)。
• 对于任何理论，知道公理的集合是否可用算法生成，或是否存在算法确定合式公式为公理，是很有价值的。
• 合式公式中，所有的量词发生在一个完整的序列开始，范围延伸到每个月底的合式公式，据说是在前束范式(无功能)。
• 这个道义命题演算是可判定的，也就是说，这个演算中的任一合式公式是或不是这个演算中的定理，可以由一个机械程序决定。

• 合式公式的英语：well-formed formula
• 合式公式的法语：Formule logique
• 合式公式的日语：整論理式
• 合式公式的韩语：논리식