构造法在命题证明中的应用
구조법재명제증명중적응용
Application of constructing methods to the propositions