谓词演算

谓词演算   wèi cí yǎn suàn

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