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