期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

数学命题与证明中的数理逻辑被引量：1

Mathematical Logic in Proposition and Demonstration

下载PDF

导出

摘要本文应用数理逻辑的方法,证明了数学中的某些问题。 In this paper, we prove some mathematical problems with the method of mathematical logic.

作者苏岐芳

机构地区齐齐哈尔师范学院数学系

出处《齐齐哈尔师范学院学报（自然科学版）》 1996年第2期12-15,20,共4页

关键词数理逻辑数学命题逆命题否命题 Mathematical logic Equivalence Implication

分类号 O141.4 [理学—基础数学]

引文网络
相关文献

同被引文献3

1刘海慧.数理逻辑在生活中的应用研究[J].中国科教创新导刊,2007(22):97-98. 被引量：1
2吴迪.数理逻辑在企业管理中的应用研究[J].商场现代化,2014(21):82-83. 被引量：1
3张君.浅谈数理逻辑在计算机科学中的应用[J].信息与电脑（理论版）,2011(12):28-29. 被引量：5

引证文献1

1杜君花,梁红梅,马艳萍.数理逻辑的若干应用[J].高师理科学刊,2018,38(9):56-60. 被引量：2

二级引证文献2

1韦昌法,曾亚妮.数理逻辑考试及自动阅卷系统设计与实现[J].现代信息科技,2021,5(10):141-143. 被引量：1
2杨恒云.命题逻辑中等价公式的证明方法探讨[J].创新教育研究,2020,8(4):442-445.

1张信联.逆向思维在数学解题中的应用[J].数学教学通讯（中教版）,2000,23(3):11-13. 被引量：3
2朱玉清.关于极限的正反面叙述应注意的几个问题[J].洛阳师专学报（自然科学版）,1998,17(2):13-15.
3刘国平.一类易错的命题构造问题[J].上海中学数学,2014(6):41-42.
4干志华.一类不等式恒成立问题的再探究[J].数学教学,2009(10):20-22. 被引量：3
5郭奕欣.哥德巴赫猜想的证明[J].黑龙江科技信息,2009(5):134-134. 被引量：2
6朱晓红.命题中的两“否”形式的辩析——浅谈命题的否定与否命题[J].数学之友,2010,24(20):71-72.
7王韶丽.非P不是命题P的否命题[J].邢台学院学报,2003,18(4):70-70. 被引量：1
8夏建均,钟林晋.逆否命题思想及应用[J].牡丹江教育学院学报,2009(5):60-61. 被引量：1
9张珺.命题的否定和否命题——从“‘男生爱踢足球’的否命题”说起[J].数学教学,2011(1):14-15.
10程晓梅.命题的否定与否命题[J].新高考（高三数学）,2008,0(11):36-37.

齐齐哈尔师范学院学报（自然科学版）

1996年第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部