关于蕴函置换法的讨论

定义了命题逻辑中蕴函置换的概念，建立了蕴涵转换法，最后指出了蕴涵置换法的使用范围。