数理逻辑的若干应用

• 作者: 杜君花 梁红梅 马艳萍
• 来源期刊: 高师理科学刊
• 学科: 数学
• 关键词: 数理逻辑 逻辑公式 推理形式 等价 反证法
• 年，卷（期）: 2018,（9）
• 页码范围: 56-60
• 页数: 5页
• 分类号: O142:G642.0
• 字数: 3267字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-9831.2018.09.013

摘要

研究了数理逻辑的若干应用,即利用数理逻辑证明某些数学证明方法的合理性,证明集合论中的某些关系,证明数学分析中的"一致"与"处处"的关系,证明某些推理形式的正确性,证明命题的等价性及在社会科学中的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜君花	齐齐哈尔大学理学院	37	56	4.0	5.0
2	马艳萍	齐齐哈尔大学理学院	10	45	3.0	6.0
3	梁红梅	齐齐哈尔大学理学院	7	7	2.0	2.0