_5, formula_6 和 formula_7 分别指示存在事物的谓词，这里是狗（dog）、哺乳动物（mammal）和草食动物（herbivore）。反过来，一元谓词演算引人注意的不比词项逻辑更有表达力。可以容易的证明在一元谓词逻辑中的所有公式都等价于量词只出现在如下形式的闭合子公式中的公式或每个这种公式都是另一个的否定，并且量词不嵌套。这些公式还稍微推广了在词项逻辑中考虑的基本判断的形式。例如，这个形式语言陈述比如“所有哺乳动物要么是草食动物要么是肉食动物（carnivore）要么二者都是