北交大《离散数学》——第二部分_云上明月的博客

第三讲：谓词逻辑

3.1 谓词与量词

1. 【个体词】：表示独立存在的具体或抽象的客体，是一个命题里表示思维对象的词。具体的、确定的个体词称为【个体词】：表示独立存在的