谓词公式（predicate formula），哲学-哲学-逻辑学-逻辑，使用谓词逻辑语言中的符号通过恰当方式构成的有穷长的表达式。又称良构公式。一个谓词逻辑语言由逻辑符号和非逻辑符号组成，其中，逻辑符号包括：联结词，，，，；量词，；变元；辅助符号, 。非逻辑符号包括：常元符号；函数符号；谓词符号。非逻辑符号中每个又称为一个元函数符号，每个又称为一个元谓词符号。一个项（Term）要么是一个常元符号，要么是一个变元，要么形如，其中是一个元函数符号，也是项。一个原子公式形如，其中是一个元谓词符号，是项。一个谓词公式要么是一个原子公式，要么形如以下之一：，，，，，和，其中,也是谓词公式，是变元。为方便，有时在谓词语言中只引入联结词的完全集或等等。有时也只引入一个量词，上下文清晰时也可略去相关符号的上、下标。这些简化并不影响谓词公式的表达能力。