图书：http://item.jd.com/11362891.html
谓词逻辑的渊源可追溯到古希腊，是基于关系模型的另一个数学分支。创建关系模型领域的Edgar F. Codd博士很有远见地提出通过连接谓词逻辑来管理和查询数据。一般说来，谓词是一个属性或是一个表示“持有”或“不持有”的表达式，换句话说，也就是“真”或“假”。关系模型就是依靠谓词来维护数据的逻辑完整性并定义其结构的。谓词用于实施完整性的一个例子就是：在一个名为Employees的表中定义了约束，仅允许工资（Salary）大于0的雇员存储在表中。谓词是“工资大于0”（T-SQL表达式：salary > 0）。
当通过筛选数据来界定子集等操作时，也可以使用谓词。例如，如果需要查询Employees表并要求只返销售部门的雇员行时，可以在查询筛选器中使用谓词“部门（Department）等于销售（Sales）”（SQL表达式：department = ‘sales‘）。
在集理论中，你可以使用谓词来定义集合，这是非常有用的，因为你不能总是通过列出所有元素来定义集合（例如，无限集合），通过特征来定义集合往往更加方便简洁。例如，这是使用谓词定义无限集合的例子，所有质数集合的谓词定义是──x是一个仅能被1和自身整除的大于1的正整数。对于任意指定值，谓词可能为“真”也可能为“假”，而全部质数的集合是谓词为“真”的所有元素的集合。例如，这是一个使用谓词定义有限集合的例子，集合{0、1、2、3、4、5、6、7、8、9}可以被定义为下面谓词为“真”的所有元素的集合──x是一个大于或等于0且小于或等于9的整数。
原文：http://blog.csdn.net/zhanghongju/article/details/18925283