命题公式A和B等价，则A是B的有效结论。