摘要
归纳并阐述用逻辑代数的方法解决数学教学中常见的命题的否定和命题的证明问题
This paper proposes and elaborates a logical algebraic approach to the common problems in teaching of negation and proving of propositions in mathematics.
出处
《贵州教育学院学报》
2001年第2期56-57,共2页
Journal of Guizhou Educational College(Social Science Edition)