美しい定義

論理演算子:真理値から真理値への関数
述語記号:個体定項から真理値への関数
関数記号:個体定項から個体定項への関数

これ把握しておくと今後白猫本を円滑に読めると思います。もちろん一般的な論理学にも通用する定義です。