谓词逻辑是基于命题中谓词分析的一种逻辑。一个逻辑分为______和个体两个部分。