离散数学教学中关于命题符号化问题的讨论

离散数学是计算机专业的一门重要专业基础课程,数理逻辑是其最复杂内容之一,而将命题符号化是数理逻辑部分的教学重点和难点,本文旨在讨论如何进行准确的命题符号化。     

模态复合命题与复合模态命题间真值关系考察

本文通过构造一个逻辑关系示意图，重点刻画了模态联言命题、模态选言命题与联言模态命题、选言模态命题之间所存在的四个等值式、四个矛盾式和三十二个蕴涵式，这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系，均可借助自然语言的实例得到直观理解，并在思维实践中加以运用。     

也谈复合命题

我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题，有不同的观点。应从“真假决说”角度来定义复合命题；复合命题是其中还包含命题，而且其真假由所包含的命题决定的命题；应采取给联言命题、假言命题下定义同样的“反映说”方式来定义两种选言命题；相容选言命题是反映若干事物情况可以同存并且至少有一个存在的选言命题、不相容选言命题是反映若干事物情况不能同存，至少有一个而且至多有一个存在的选言命题；应持“两立说”来对待不相容选言命题，不能对V进行结合运算，这是f10这一真值函项本身的性质使然，不影响不相容选言命题的存在。     

命题多项式与命题函数的解析化

本文提出了命题多项式，０－１命题多项式的概念，应用它们，实现了命题函数的解析化。     

命题和命题函项教学初探

<正> 0 前言本文不打算从哲学或逻辑学的角度对命题及其有关概念进行系统的讨论,而只想在数学的范围内对命题和命题函项的结构进行适度的分析,以利于将来的数学学习,并增强阅读能力和论证表达能力。1 命题和命题函项命题就是判断。换句话说,可以用真或假对之进行评价的句子就叫命题。这里只着重讨论数学中经常遇到的命题形式。     

充要条件假言命题也可作二难推理的前提

现行普通逻辑理论把二难推理的假言前提局限于充分条件假言判断和必要条件假言判断，而把充要条件假言判断排除在外，从而遗漏了一部分有效式，本文在这方面作一定的探讨，并总结出了二难推理的全部有效式。     

逻辑学教学中直言命题真假情况一览表的应用

直言命题真假情况一览表是一种重要的逻辑工具，可借以直观、简明地揭示六种直言命题的逻辑特性；借以简明、直观而科学地论证同素材六种直言命题之间的对当关系；借以直观、便捷地解答一些较复杂的逻辑问题。     

数理逻辑中的命题符号化的几个值得注意的问题

在数理逻辑中,要确保推理的正确性,首先就得保证命题符号化的准确性,本文对数理逻辑中的命题符号的准确性问题提出了值得注意的几点看法,以期在帮助学生掌握数理逻辑中的命题符号化即翻译方法的同时,又能对学生进行逻辑思维能力和抽象概括能力的训练。     

符号化图形

图形设计作为视觉空间设计中的一种符号现象 ,起着人们与文化、信息的沟通作用 ,因此 ,我们应该对此进行研究 ,发掘更多的符号化图形特性 ,更准确的运用符号化图形原理来进行平面图形设计。     

传统直言命题的制的逻辑剖析(英文)

传统直言命题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）．已经验证了，四种外延命题和主调可空而不自相矛盾的四种内涵命题全都满足传统的推理格式．     

Desargues命题的应用

由Desargues命题和Desargues逆命题证明了三点共线或三线共点的问题。还应用这两个命题解决了轨迹问题与求定点问题及作图问题。     

多值逻辑中的命题相关性与逻辑运算研究

命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数.     

对马克斯·韦伯命题的质疑——兼论儒家伦理是否阻碍了家族企业的发展

儒家家族主义对家族企业有何价值,在回答该问题时多半涉及马克斯·韦伯关于“儒家伦理阻碍东方资本主义发展”的命题。该命题由于存在严重的“缺陷”和“脱节”,应当受到质疑。在20世纪70年代末以后,因为日本的经济崛起以及随后亚洲“四小龙”的经济腾飞,儒家伦理促进了东方资本主义的发展,也促进了当代中国家族企业的发展。     

基于命题逻辑的组件约束检测

针对组件约束数量大、复杂度高的问题，提出了一种基于命题逻辑的组件约束检测算法．通过命题符号化的过程，即通过5个联结词将日常语言中的命题转化成数理逻辑中的形式命题．该算法首次使用受限真值表的概念来描述组件约束，清楚、准确地揭示了软件组织结构、动态行为以及组件之间的转换，通过包含、否定和插入等规则来合并真值表，以解决检测组件约束时存在的冗余与冲突问题，并获得期望行为的最小组件集合，从而保证了组件约束之间相互一致．与基于规则模式表方法相比，所提算法克服了人工检测的不确定性，改善了检测的时间性能，并可将冲突错判率降低大约10％，平均处理时间降低大约33％．     

对逻辑演绎推理在数学解题中的理解

通过具体实例,阐述对逻辑演绎推理在解决数学命题方面的理解,说明论证问题不能凭人们的感性经验,而需要有理有据的逻辑演绎推理步骤,进一步说明演绎是数学的基础。     

互逆蕴涵命题的空间曲线投影柱面表示

互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面。与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。     

互逆主义逻辑中的逻辑命题

互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一.