一阶公式

　　一阶公式（汉语拼音：Yijie Gongshi；英语：First order formula），一阶逻辑的合式公式，在形式化的一阶语言中递归地定义的公式。设!!!Y0692_1是一阶逻辑的一个形式语言，!!!Y0692_2含逻辑符号和非逻辑符号。!!!Y0692_3中的非逻辑符号有：关系符号P，Q，R等；函数符号F，G等；常量符号c,d,e等。每个关系符号，函数符号都指定是n元关系或n元函数。!!!Y0692_4中的逻辑符号有 ：个体变元符号!!!Y0692_5，…等；逻辑联词!!!Y0692_6、→等；量词!!!Y0692_7；等号≡；括号)，(。!!!Y0692_8的项t：t可以是单个个体变元，也可以是单个个体常量 ：如果t1…tm是项，F是L的m元函数符号，则F(t1…tm)是项。!!!Y0692_9的原子公式：如果t1、t2是!!!Y0692_10的项，则t1≡t2是 原子公式；如果t1…tn是项，R是L的n元关系符号，则R(t1…tn)是原子公式。!!!Y0692_11的公式：!!!Y0692_12的原子公式是公式；设φ、ψ是L的公式，x是!!!Y0692_13的一个个体变元，则(!!!Y0692_14φ)，(φ→ψ)，(!!!Y0692_15xφ)都是!!!Y0692_16的公式 。这样定义的语言公式乃至公式的集合统称一阶语言!!!Y0692_17。只要指出!!!Y0692_18的非逻辑符号，一阶语言!!!Y0692_19就被确定。!!!Y0692_20中其他的联结符，量词都不是原始符号，＾，ˇ，的定义见命题公式，存在量词定义为xφ!!!Y0692_21!!!Y0692_22!!!Y0692_23x!!!Y0692_24φ。一阶公式中的一个个体变元如果出现在量词的辖域中就称为约束变元，不受任何一个量词约束的变元称为自由变元。没有自由变元的公式称为句子。