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

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

  • 标签: 逻辑推理 类比思维 数学教育 数的概念 创造性 逻辑思维方法
  • 简介:对谓词逻辑推理中关于量词加免的四项法则重新进行了审定,并讨论了这些法则的使用技巧。

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

  • 标签: 康托定理S〈P(S) 实数集合不可数性 罗素悖论 无穷理论体系 部分 全体