证明两个命题公式等价可以使用（）和（）方法。