谓词变命题

谓词带参数，替换具体值后才成为有真假的命题。关系变量的每个元组都可看作谓词的一次真实例；这让查询从“取数据”变成“推导哪些命题为真”。