Variable Substitution - an Important Way to Realize Proposition Transformation

• 变量代换是实现命题转换的一种重要途径