什么是谓词逻辑公式的解释