要证明命题公式A是B的有效结论，只需要证明B→A是重言式。