在演绎推理中，若结论是()形式的公式时，可利用规则将作为附加前提来证明