rule of constituting the equivalence of deduction in propositional calulus

• 命题演算推理的等值构成规则