谓词逻辑基本概念

$$P(x)$$

个体词 与 谓词

量词