简介：

简介：

简介：考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.

简介：在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理.

简介：逻辑推理的方法和探索工具——类比思维若谷数学学习能使人聪明，故人们称数学是“思维的体操”类比思维就是“思维体操”中非常重要，非常关键的一节，著名数学教育家波利亚曾说过：“类比是获得发现的源泉，是最富创造性的逻辑推理方法和探索工具”。实际上，类比是根据...

简介：对谓词逻辑推理中关于量词加免的四项法则重新进行了审定，并讨论了这些法则的使用技巧。

简介：ＡＳＹＭＰＴＯＴＩＣＢＥＨＡＶＩＯＲＯＦＯＰＥＲＡＴＯＲＳＯＦＰＲＯＢＡＢＩＬＩＳＴＩＣＴＹＰＥＩＮＬ_ｐＳＰＡＣＥＳ￥ＣＨＥＮＷＥＮＺＨＯＮＧ；ＣＵＩＺＨＥＮＬＵ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓＸｉａｍｅｎＵｎｉｖｅｒｓｉｔｙ，Ｘｉ?..

简介：问题：设边长为2a的正方形的中心A在直线l上，它的一组对边垂直于直线l，半径为r的⊙O的圆心O在直线l上运动，点A，O间距离为d.

简介：分析了罗素悖论与康托的实数集合不可数证明及康托定理S〈P（S）证明之间的本质性联系，发现康托的这两个非构造性证明与罗素悖论有完全相同的思路，但是康托犯了两个逻辑性错误而使他误用了这个悖论思路。得到明确的结论：康托在集合论中如上两个证明里的核心部分实际上是罗素悖论的翻版，这两个证明中的思路与做法是错误的，这样的证明结果没有科学性。

简介：

简介：ＴＨＥＣＨＥＢＹＳＨＥＶＳＰＥＣＴＲＡＬＭＥＴＨＯＤＷＩＴＨＡＲＥＳＴＲＡＩＮＴＯＰＥＲＡＴＯＲＦＯＲＢＵＲＧＥＲＳＥＱＵＡＴＩＯＮ￥ＭＡＨＥＰＩＮＧ；ＧＵＯＢＥＮＹＵ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＳｈａｎｇｈａｉＵｎｉｖｅｒｓｉ...

简介：思维是在表象、概念的基础上进行分析、综合、推理等一系列认知活动的过程，是一种隐性的心理活动，而操作则是隐性心理活动的一种显性表现．学生的数学思维，往往与他们操作时的活动过程分不开，缺少思维的活动是空虚的．在课堂教学中突出学生的操作过程，不仅可以调动学生的学习兴趣，而且可以有效地发展学生的数学思维．2013年11月，常州市高中数学陈小红名师工作室与苏州市相城区蒋智东名师工作室开展了一次联合教研活动．