合式公式，又称谓词公式，是一种形式语言表达式，即形式系统中按一定规则构成的表达式。
合式公式定义如下：
1，原子公式是合式公式。
2，若φ和ψ是合式公式，则(φ∧ψ)及(ᒣφ)是合式公式。
3，若φ是合式公式，而x是变元,则(ᗄx)φ是合式公式。
约束变量和自由变量：
在一个谓词公式中，变量的出现是约束的，当且仅当它出现在使用这个变量的量词作用范围之内；变量的出现是自由的，当且仅当它的出现不是约束的；至少有一次约束出现的变量称为约束变量，至少有一次自由出现的变量称为自由变量。
以上内容参考：百度百科——谓词公式
温馨提示：答案为网友推荐，仅供参考
相似回答