◇表达能力强 　　如：北京是个城市， City(x)把城市这个概念分割出来。把“城市” 与“北京”两个概念连接在一起，而且说明“北京”是“城市”的子概念。（有层） 　　◇谓词可以代表变化的情况 　　如：City(北京),真。 City(煤球)，假 　　◇在不同的知识之间建立联系 　　如：Human(x) → Lawed(x)， 人人都受法律管制，x是同一个人。Commit(x) → Punished(x)， x不一定是人也可以是动物。而{[Human(x) → Lawed(x)]→[commit(x) → Punished(x)]}，意为如果由于某个x是人而受法律管制，则这个人犯了罪就一定要受到惩罚。 　　注意：虽然命题逻辑能够把客观世界的各种事实表示为逻辑命题，但是它具有较大的局限性，不适合表达那些比较复杂的的问题。而谓词逻辑能表达无法用命题逻辑表达的事情。谓词演算能用数学演绎的方式导出一个新的语句，并且能够判断这个语句的正确性。 　　谓词逻辑法是应用最广的方法之一，其原因是： 　　◇谓词逻辑与数据库，特别是关系数据库就有密切的关系。在关系数据库中，逻辑代数表达式是谓词表达式之一。因此，如果采用谓词逻辑作为系统的理论背景，则可将数据库系统扩展改造成知识库。 　　◇一阶谓词逻辑具有完备的逻辑推理算法。如果对逻辑的某些外延扩展后，则可把大部分的知识表达成一阶谓词逻辑的形式。（知识易表达） 　　◇谓词逻辑本身具有比较扎实的数学基础，知识的表达方式决定了系统的主要结构。因此，对知识表达方式的科学严密性要求就比较容易得到满足。这样对形式理论的扩展推动了整个系统框架的发展。 　　◇逻辑推理是公理集合中演绎而得出结论的过程。由于逻辑及形式系统具有的重要性质，可以保证知识库中新旧知识在逻辑上的一致性（或通过相应的一套处理过程检验）、和所演绎出来的结论的正确性。而其它的表示方法在这点上还不能与其相比。 　　尽管逻辑表示法在实际人工智能系统上得到应用，当然逻辑表示法仍然有一定的缺点：谓词表示越细，表示越清楚，推理越慢、效率越低。实际的系统是在两者之间的一种折衷。