请证明:c12是其亲本子句c1与c2的逻辑结论。

要证明c12是其亲本子句c1与c2的逻辑结论，首先我们需要明确c12、c1和c2的定义及它们之间的逻辑关系。

假设c12是c1与c2的逻辑结论，那么根据逻辑推理的定义，c12必须是由c1和c2通过某种逻辑推导规则得出的。也就是说，c12必须能够由c1和c2中的逻辑命题通过一定的推理过程得出。

在逻辑推理中，常用的推导规则包括假言推理、析取三段论、假言假言三段论等。如果我们能够找到适用于c1和c2的某种推导规则，并按照该规则得出c12，那么就可以证明c12是其亲本子句c1与c2的逻辑结论。

另外，我们还可以通过真值表的方法来证明c12是c1与c2的逻辑结论。即通过列出c1、c2和c12的所有可能取值的组合，然后验证在这些组合下c12是否总是为真。如果通过真值表的方法能够证明c12总是为真，那么也可以说明c12是c1与c2的逻辑结论。

综上所述，要证明c12是其亲本子句c1与c2的逻辑结论，我们可以通过找到适用于c1和c2的推导规则或者通过真值表的方法，来证明c12是由c1和c2推导得出的。