对于谓词逻辑，（ ）是其亲本子句的逻辑结论。