2.3.1 谓词公式的解释