title: 如何理解计算机科学相关里出现的“谓词”？
desc: 看C Primer 也出现过“谓词”一说，排序（sort）库函数可以用“谓词”来代替默认的“小于”的判别条件。<br>最近在看SQL 相关的书籍又讲到“谓词”，其实根据例子我大概能理解“谓词”的作用，一个标准（判断真假）？<br>但“谓词”指的是一个表达式吗？为什么叫“谓词”，总让我联想到语法中的谓词，有点反直觉，其中有何关联？求扩展解释相关！谢谢
topic: 编程语言
content: 离散数学都会讲的一个词语，简单来说就是代入某个论域内的变量就可以产生真或假结果的表达式。比如 xy3就是一个谓词，代入4，1就是True，代入0，0就是False。
answerer_tags: 南京大学计算机系学生