共查询到20条相似文献，搜索用时 0 毫秒
1.
2.
模糊控制关系与模糊蕴涵算法 总被引：2，自引：2，他引：0
首先对社会科学中的控制关系进行了探讨，并给出了社会关系中控制关系的描述法，然后讨论关于扎德的模糊蕴涵算法控制关系的性质及其逻辑运算，为研究社会关系中的控制关系提供了一种数学方法。 相似文献
3.
4.
5.
在中学教学教材教法这门课程里,作为中学数学的逻辑基础,数学命题、推理与论证是十分重要的内容。大多数的教学过程接触的都是一些具体的命题、具体的推理和证明过程,而对于数学命题、推理与论证本身的逻辑思维基础则关心较少。本文就教学过程中,学生常受困惑的一些问题进行阐述。 相似文献
6.
周训伟 《北京联合大学学报(自然科学版)》2007,21(1):12-14
互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面。与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。 相似文献
7.
8.
9.
10.
周训伟 《重庆工商大学学报(自然科学版)》2009,23(3):30-32
对于任何蕴涵命题都有建立它的过程和建立之后运用它来推理的过程。经典逻辑的拥护者们认为实质蕴涵的定义使其也能建立实质蕴涵命题和建立之后用其进行推理。其实,实质蕴涵的定义只能用来建立实质蕴涵命题,若用其推理则违背了哲学与数学的基本原理;虽然它可用于建立实质蕴涵命题,但却会产生实质蕴涵怪论。作为对实质蕴涵的改进,提出了互逆真蕴涵概念。互逆真蕴涵的归纳复合真值表用于建立互逆真蕴涵命题,分解真值表用于推理。互逆真蕴涵的归纳复合真值表虽然与实质蕴涵的真值表相同,但却有不同的解读。 相似文献
11.
徐阳春 《上饶师范学院学报》2002,22(1):50-52
本文通过构造一个逻辑关系示意图，重点刻画了模态联言命题、模态选言命题与联言模态命题、选言模态命题之间所存在的四个等值式、四个矛盾式和三十二个蕴涵式，这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系，均可借助自然语言的实例得到直观理解，并在思维实践中加以运用。 相似文献
12.
舒心 《甘肃联合大学学报(自然科学版)》1999,(Z1)
命题的否定是命题的基本运算之一,由于命题形式多样,因而构造命题的否定的方法也多种.本文根据命题结构上的特点,对命题进行了划分,并以此划分着重讨论了命题的否定,以期对命题的否定有一个较系统的方法.鉴于一个命题的否定和这个命题的否命题往往容易混淆,本文从不同方面对此进行了说明,以使对命题的否定和否命题有一个较明确地认识. 相似文献
13.
本文首先从数学基础的有关概念谈起,介绍了数理逻辑中的一个重要定理——Godel不完全性定理。该定理揭示了在一个相容形式系统中存在着不可判定的命题。接着,给出了三个不可判定的命题的例子。 相似文献
14.
15.
16.
通过典型试题分析，谈谈依据高等数学的背景编拟高考题的命题途径，借以启发数学教师处理好中学数学与高等数学之间的衔接。 相似文献
17.
数学是人类智慧的结晶,是人与自然界的共同创造,在丰富而奇特的数学文化里,它的美学价值是无穷的,能引发和体验数学之美,是人生的一大乐事,本文拟从五佣方面论述数学的美学蕴涵和体验,以期在高等院校的美育和素质教育中,增添一脉绿枝,使青年学生和青年科技工作者由此得到一些启示和赏析,以及升腾理性的幻想。 相似文献
18.
文章研究Sup-T型L-关系方程和Inf-αr型L-关系方程解的结构，其中L是完备Brouwer格，T是L上无穷并分配伪t-模，αr是L上由T诱导的无穷交分配蕴涵。 相似文献
19.
20.
以初等数论中著名的Euler与Wilson定理证明为切入口,探讨初等数论中蕴涵的整体化、配对、化归数学思想方法. 相似文献