数理逻辑的基本组成部分。在谓词演算里，分析简单命题的内部结构（主语和谓语、全体和部分），研究由命题和命题形式经使用*命题联接词、*量词构成的命题的逻辑形式，以及它们之间的逻辑推理关系。谓词演算在计算机科学中有广泛应用。