3.2.4 谓词公式的分类