共查询到20条相似文献,搜索用时 15 毫秒
1.
王郁昕 《北京联合大学学报(自然科学版)》2005,19(2):39-44
互逆主义逻辑是一种全新的逻辑体系,它从命题成分的分析入手,说明命题是由项组成。命题又可分为不同的层次,高层命题由低层命题构成,即逻辑命题由经数命题加联符构成,经数命题由事实命题加联符构成,事实命题由项构成。互逆主义逻辑归纳复合与分解的方法是其主要的创新思想,综合了归纳与演绎推理,它不仅有理论意义还有重要的实践意义。 相似文献
2.
本文提出了命题多项式,0-1命题多项式的概念,应用它们,实现了命题函数的解析化。 相似文献
3.
4.
5.
樊明亚 《上饶师范学院学报》2002,22(1):46-49
我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题,有不同的观点。应从“真假决说”角度来定义复合命题;复合命题是其中还包含命题,而且其真假由所包含的命题决定的命题;应采取给联言命题、假言命题下定义同样的“反映说”方式来定义两种选言命题;相容选言命题是反映若干事物情况可以同存并且至少有一个存在的选言命题、不相容选言命题是反映若干事物情况不能同存,至少有一个而且至多有一个存在的选言命题;应持“两立说”来对待不相容选言命题,不能对V进行结合运算,这是f10这一真值函项本身的性质使然,不影响不相容选言命题的存在。 相似文献
6.
龚启荣 《贵州大学学报(自然科学版)》1998,15(3):188-192
传统直言命题A、E、I、O作为 “命题形式”其逻辑语义没有规定清楚,逻辑结构尚未完全定型,因而而今还存在种种逻辑理论上的问题。 相似文献
7.
徐阳春 《上饶师范学院学报》2002,22(1):50-52
本文通过构造一个逻辑关系示意图,重点刻画了模态联言命题、模态选言命题与联言模态命题、选言模态命题之间所存在的四个等值式、四个矛盾式和三十二个蕴涵式,这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系,均可借助自然语言的实例得到直观理解,并在思维实践中加以运用。 相似文献
8.
龚启荣 《贵州大学学报(自然科学版)》1998,(3)
传统直言命题A、E、I、O作为“命题形式”其逻辑语义没有规定清楚,逻辑结构尚未完全定型,因而至今还存在种种逻辑理论上的问题.我们根据主词S外延的不同将传统直言命题二分为外延命题和内涵命题两大类.当直言命题的主词S的外延是可进一列举的有限集时为外延命题.与A、E、I、O相对应的外延命题依次为:P(e1)ΛP(e2)Λ…ΛP(ei)Λ…ΛP(em),P(e1)ΛP(e2)Λ…ΛP(ei)Λ…ΛP(em),P(e1)∨P(e2)∨…∨P(ei)∨…∨P(em),P(e,)∨P(e2)∨…∨P(ei)∨…∨P(em).当主词S的外延是无限集、不可进一列举的有限集或空集时为内涵命题.与A、E、I、O相对应的内涵命题依次为:S(x)P(x)、S(x)P(x)、S(x)!P(x)、S(x)!P(x).已经验证了,四种外延命题和主调可空而不自相矛盾的四种内涵命题全都满足传统的推理格式. 相似文献
9.
本文由命题的等价性及蕴含性,提出证明命题的推导法,并以例说明。该法则的引用,使命题的逻辑推理运算将更加简单、明确、易掌握 相似文献
10.
盘卫民 《高等函授学报(自然科学版)》1999,(1):49-52
互否的逻辑关系,反映了正、反两方面的相互关系,在数学中应用非常广泛。如:集合及其补集、命题或开句的否、事件及其对立事件等,怎样根据正面求其反面?也就是求逻辑否问题。1命题或开句的否的概念1.1命题与开句定义1能判断真假的句子,叫做命题。例如:2+3=... 相似文献
11.
任永复 《贵州师范大学学报(自然科学版)》1989,(2):96-100
<正> 0 前言本文不打算从哲学或逻辑学的角度对命题及其有关概念进行系统的讨论,而只想在数学的范围内对命题和命题函项的结构进行适度的分析,以利于将来的数学学习,并增强阅读能力和论证表达能力。1 命题和命题函项命题就是判断。换句话说,可以用真或假对之进行评价的句子就叫命题。这里只着重讨论数学中经常遇到的命题形式。 相似文献
12.
一般汉语著作和修辞学专著多半只讲到句式修辞的语法手段,句式修辞的逻辑手段则很少涉及。句式修辞的逻辑手段就是根据命题形式的等值转换进行句式变换,丰富句式修辞的内容。命题形式的等值转换主要有:直言命题的等值转换、关系命题的等值转换、负模态命题的等值转换、负直言命题的等值转换、负复合命题的等值转换、假言命题与选言命题之间的等值转换、假言命题之间的等值转换。 相似文献
13.
14.
15.
从语言上看,条件命题等非纯真值复合命题与蕴涵命题等纯真值复合命题之间存在着对应关系,但从逻辑语义上看,它们所指谓的客观事件的逻辑结构却根本不同。蕴涵命题等纯真值复合命题的整个命题的真值依赖于基础命题的真值,它是数理逻辑的理论基础;条件命题等非纯真值复合命题的整个命题的真值无需依据基础命题的真值即可确定,它是真正的逻辑科学的重要研究内容。如果无视二者的本质区别,将其混淆使用,会导致数不清的逻辑问题。 相似文献
16.
本文重点叙述数列极限及其否命题的概念中应注意的几个问题,由此给出极限否命题概念的共同特点,并直接给出了函数的否命题的概念。 相似文献
17.
18.
唐金文 《曲靖师范学院学报》2002,21(6):71-73
在命题逻辑学的整个推理过程中 ,命题准确、正确的符号化是关键的、重要的第一步 .若命题符号化是错误的 ,则最终的推理结果必然错误 .在有关“命题逻辑学”的教材及参考书中对此缺乏详细的介绍及讲解 ,本文结合教学对命题符号化中的一些问题进行探讨 . 相似文献
19.