谓词抽象

谓词抽象在逻辑学中，谓词抽象是指从一个句子中创建一个谓词的结果。如果Q是任何公式，那么从该句子中形成的谓词抽象是(λy.Q)，其中λ是一个抽象算子，在(λy.Q...