摘要
逻辑证明在高等数学及其教学中占有重要地位 .本文着重从间接证明尤其是反证法的逻辑结构入手 ,剖析了高等数学中的范例 .反证法离不开充分条件假言推理的否定后件式 ,其中的后件“q”可以是直言命题或关系命题 ,也可以是联言命题、选言命题。
Logical proof plays an important role in higher mathematics and its teaching. This paper analyzes the examples of higher mathematics by means of indirect proof, especially by means of logical structure of counter evidence. Counter evidence depends on denial consequent of sufficient condition of hypothetical inference. This consequent “ q ” may be categorical proposition or relational proposition, and it may also be association proposition, disjunctive proposition, hypothetical proposition and negative proposition.
出处
《工科数学》
2001年第1期89-93,共5页
Journal of Mathematics For Technology
