9谓词逻辑公式