共查询到20条相似文献，搜索用时 10 毫秒
1.
建立了可拓逻辑的数学模型,从而更丰富了逻辑学的内容和方法,为研究人们“可变性”的思维形式和思维规律以及处理矛盾问题,开辟了一条新的途径。 相似文献
2.
3.
4.
5.
6.
7.
通过对简易逻辑学中一些基本概念的介绍和典型实例的具体分析,强调了准确理解复合命题的重要性,对中学数学中简易逻辑学的常规教学具有一定的参考价值. 相似文献
8.
任永复 《贵州师范大学学报(自然科学版)》1989,(2):96-100
<正> 0 前言本文不打算从哲学或逻辑学的角度对命题及其有关概念进行系统的讨论,而只想在数学的范围内对命题和命题函项的结构进行适度的分析,以利于将来的数学学习,并增强阅读能力和论证表达能力。1 命题和命题函项命题就是判断。换句话说,可以用真或假对之进行评价的句子就叫命题。这里只着重讨论数学中经常遇到的命题形式。 相似文献
9.
浅析离散数学在计算机科学中的应用 总被引：1，自引：0，他引：1
数字逻辑作为计算机科学的一个重要理论，在很大程度上起源于离散数学的数理逻辑中的命题与逻辑演算，其在计算机硬件设计中的应用更为突出。 相似文献
10.
数学概念的掌握与否，直接或间接地干扰着数学命题的学习和数学问题的解决，本文以教育心理理论为基础，提出了学生掌握数学命题的两种心理模式，为学生学习教学概念提供了心理学依据。 相似文献
11.
王郁昕 《北京联合大学学报(自然科学版)》2005,19(4):9-13
互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一. 相似文献
12.
13.
李鸿才 《新乡学院学报(自然科学版)》2014,(9):44-46
充分条件假言命题是从类似如果……那么……作为连接词的复句中提炼出的思维结构。该结构刻画着人们思维中常见的蕴涵关系,即一种情况存在蕴涵另一种事物情况存在的关系。以这种关系为基础构成了人们常用的充分条件假言推理。充分条件假言命题及其推理与思维实际充分结合,就充分彰显人类思维张力,并给予我们巨大的逻辑力量。 相似文献
14.
现代逻辑的诞生使逻辑摆脱旧有束缚,进而开启了逻辑学发展的新局面。在逻辑获得新生的同时,逻辑的本质问题也日益凸显。维特根斯坦赋予逻辑命题3个重要特征:(1)逻辑命题是重言式;(2)逻辑命题假定对象和世界的存在;(3)逻辑命题不可说但并不神秘。这些特征是对弗雷格、罗素的逻辑哲学的反叛,但也对分析哲学乃至整个西方哲学产生了深远影响。 相似文献
15.
16.
王世强 《北京师范大学学报(自然科学版)》1996,32(3):321-324
考察了语言Ｔ＝（＋，·０，１）上１阶域论命题的有限可满足性及无限可满足性，得到一些初步结论。对于整环及除环的情况也有类似或较弱的结论，结合Ｊ，Ａｘ的结果，可得到域论及整环理论中全称语句类的可判定性。 相似文献
17.
段方雪 《重庆工商大学学报(自然科学版)》2009,23(8):26-28
近年来,在我国逻辑领域关于＂词项＂与＂概念＂的定义和使用问题一直存在着分歧。当代形式逻辑体系是否还有＂概念＂的位置？＂概念＂是否应被＂词项＂所取代？有两派观点,一派认为应该用词项取代概念 另一派认为词项和概念应该区分使用,不能完全否定其一。但毋庸置疑,概念的定义规则、分类与划分,限制与概括以及由概念断定的外延的范围等这些关于概念的逻辑问题仍然需要在＂概念＂的意义上讨论。因此,从逻辑学的角度研究概念在一定程度上也是必要的。 相似文献
18.
19.
数理逻辑中的命题符号化的几个值得注意的问题 总被引：2，自引：0，他引：2
在数理逻辑中,要确保推理的正确性,首先就得保证命题符号化的准确性,本文对数理逻辑中的命题符号的准确性问题提出了值得注意的几点看法,以期在帮助学生掌握数理逻辑中的命题符号化即翻译方法的同时,又能对学生进行逻辑思维能力和抽象概括能力的训练。 相似文献
20.