谓词

1、谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

2、换句话说，就是通过引入相应的谓词，将二元关系的性质用逻辑公式来表示。