3.2.3 谓词公式的解释