共查询到20条相似文献,搜索用时 0 毫秒
1.
樊明亚 《上饶师范学院学报》2002,22(1):46-49
我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题,有不同的观点。应从“真假决说”角度来定义复合命题;复合命题是其中还包含命题,而且其真假由所包含的命题决定的命题;应采取给联言命题、假言命题下定义同样的“反映说”方式来定义两种选言命题;相容选言命题是反映若干事物情况可以同存并且至少有一个存在的选言命题、不相容选言命题是反映若干事物情况不能同存,至少有一个而且至多有一个存在的选言命题;应持“两立说”来对待不相容选言命题,不能对V进行结合运算,这是f10这一真值函项本身的性质使然,不影响不相容选言命题的存在。 相似文献
2.
数理逻辑中的命题符号化的几个值得注意的问题 总被引:2,自引:0,他引:2
在数理逻辑中,要确保推理的正确性,首先就得保证命题符号化的准确性,本文对数理逻辑中的命题符号的准确性问题提出了值得注意的几点看法,以期在帮助学生掌握数理逻辑中的命题符号化即翻译方法的同时,又能对学生进行逻辑思维能力和抽象概括能力的训练。 相似文献
3.
徐阳春 《上饶师范学院学报》2002,22(1):50-52
本文通过构造一个逻辑关系示意图,重点刻画了模态联言命题、模态选言命题与联言模态命题、选言模态命题之间所存在的四个等值式、四个矛盾式和三十二个蕴涵式,这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系,均可借助自然语言的实例得到直观理解,并在思维实践中加以运用。 相似文献
4.
楼建华 《石河子大学学报(自然科学版)》2006,24(4):494-496
简单讨论二元域F2及其性质。采用映射定义联结词和命题公式,把它们均抽象为F2上的多项式。基于F2研究命题公式的多项式范式和异或范式,给出全功能联结词集的判定条件。 相似文献
5.
6.
从语言上看,条件命题等非纯真值复合命题与蕴涵命题等纯真值复合命题之间存在着对应关系,但从逻辑语义上看,它们所指谓的客观事件的逻辑结构却根本不同。蕴涵命题等纯真值复合命题的整个命题的真值依赖于基础命题的真值,它是数理逻辑的理论基础;条件命题等非纯真值复合命题的整个命题的真值无需依据基础命题的真值即可确定,它是真正的逻辑科学的重要研究内容。如果无视二者的本质区别,将其混淆使用,会导致数不清的逻辑问题。 相似文献
7.
陈熙德 《西南民族学院学报(自然科学版)》1998,24(4):444-447
指出了复合函数极限理论应用中的三个常见错误命题,补充证明了一般教材中存在证明缺陷的两个重要定理:罗必塔法则和积分上限函数的导数定理 相似文献
8.
9.
现代逻辑的诞生使逻辑摆脱旧有束缚,进而开启了逻辑学发展的新局面。在逻辑获得新生的同时,逻辑的本质问题也日益凸显。维特根斯坦赋予逻辑命题3个重要特征:(1)逻辑命题是重言式;(2)逻辑命题假定对象和世界的存在;(3)逻辑命题不可说但并不神秘。这些特征是对弗雷格、罗素的逻辑哲学的反叛,但也对分析哲学乃至整个西方哲学产生了深远影响。 相似文献
10.
11.
周巧姝 《长春师范学院学报》2003,(2)
通过具体实例,阐述对逻辑演绎推理在解决数学命题方面的理解,说明论证问题不能凭人们的感性经验,而需要有理有据的逻辑演绎推理步骤,进一步说明演绎是数学的基础。 相似文献
12.
13.
莫志浩 《解放军理工大学学报(自然科学版)》2001,2(1):97-99
对中介逻辑命题演算系统MP的18条推理规则作了简化,从中删除了5条不独立的推理规则,构成与原推规则集S等价的形式推理规则集S1。 相似文献
14.
李鸿才 《新乡学院学报(自然科学版)》2014,(9):44-46
充分条件假言命题是从类似如果……那么……作为连接词的复句中提炼出的思维结构。该结构刻画着人们思维中常见的蕴涵关系,即一种情况存在蕴涵另一种事物情况存在的关系。以这种关系为基础构成了人们常用的充分条件假言推理。充分条件假言命题及其推理与思维实际充分结合,就充分彰显人类思维张力,并给予我们巨大的逻辑力量。 相似文献
15.
王郁昕 《北京联合大学学报(自然科学版)》2005,19(4):9-13
互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一. 相似文献
16.
傅正生 《西北师范大学学报(自然科学版)》1996,32(4):99-103
探讨了基础有机化学教材的基础知识部分如何紧紧扣住分子结构对化学性质的影响,由简到繁,有逻辑性、推理性地安排复合官能团化合物。 相似文献
17.
18.
19.
本文提出了命题多项式,0-1命题多项式的概念,应用它们,实现了命题函数的解析化。 相似文献
20.