请比较谓词逻辑和命题逻辑。