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

• Variable Substitution - an Important Way to Realize Proposition Transformation