■有了这个等值定理,证明两个公式等值 要证明由这两个公式构成的双条件式是 重言式即可。◼ 有了这个等值定理，证明两个公式等值， 只要证明由这两个公式构成的双条件式是 重言式即可