谓词公式
发布时间:2023年04月03日 16:49:37 作者:公式网
谓词公式
单个谓词是谓词公式,称为原子谓词公式
若A是谓词公式,则A 也是谓词公式
若A,B都是谓词公式,则A ∧ B , A ∨ B , A → B 也都是谓词公式
若A是谓词公式,则( X ) A , ( X ) A 也都是谓词公式
有限步应用1~4步所得到的公式也是谓词公式
连接词的优先级别从高到低排列:
量词的辖域
位于量词后面的单个谓词或者用括弧括起来的谓词公式。
辖域内与量词中同名的变元称为约束变元,不同名的变元称为自由变元。
例如:
,该辖域内的X是约束变元,而在R ( X , Y ) 中的X则是自由变元。
公式中的所有Y都是自由变元。