命题和命题函项教学初探

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

论句式修辞的逻辑手段

一般汉语著作和修辞学专著多半只讲到句式修辞的语法手段,句式修辞的逻辑手段则很少涉及。句式修辞的逻辑手段就是根据命题形式的等值转换进行句式变换,丰富句式修辞的内容。命题形式的等值转换主要有:直言命题的等值转换、关系命题的等值转换、负模态命题的等值转换、负直言命题的等值转换、负复合命题的等值转换、假言命题与选言命题之间的等值转换、假言命题之间的等值转换。     

互逆主义逻辑基础

互逆主义逻辑是一种全新的逻辑体系，它从命题成分的分析入手，说明命题是由项组成。命题又可分为不同的层次，高层命题由低层命题构成，即逻辑命题由经数命题加联符构成，经数命题由事实命题加联符构成，事实命题由项构成。互逆主义逻辑归纳复合与分解的方法是其主要的创新思想，综合了归纳与演绎推理，它不仅有理论意义还有重要的实践意义。     

数学命题的研究与推广

阐述了数学命题研究的意义,探讨了数学命题的研究方法。     

对现行形式逻辑中条件命题的讨论

从语言上看,条件命题等非纯真值复合命题与蕴涵命题等纯真值复合命题之间存在着对应关系,但从逻辑语义上看,它们所指谓的客观事件的逻辑结构却根本不同。蕴涵命题等纯真值复合命题的整个命题的真值依赖于基础命题的真值,它是数理逻辑的理论基础;条件命题等非纯真值复合命题的整个命题的真值无需依据基础命题的真值即可确定,它是真正的逻辑科学的重要研究内容。如果无视二者的本质区别,将其混淆使用,会导致数不清的逻辑问题。     

从一个不等式的推广谈起

本文以一个不等式的两个推广命题为例，总结了中学数学中命题推广的三种类型，以及推广命题的三种证明方法．     

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

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

解析命题符号化

在命题逻辑学的整个推理过程中 ,命题准确、正确的符号化是关键的、重要的第一步 .若命题符号化是错误的 ,则最终的推理结果必然错误 .在有关“命题逻辑学”的教材及参考书中对此缺乏详细的介绍及讲解 ,本文结合教学对命题符号化中的一些问题进行探讨 .     

试卷命题方法探讨

本文以案例分析的形式,介绍了做好试卷命题的几个方法:制订考试大纲,编制命题方案表,命题应遵循的原则和注意的事项等。     

浅析作文命题的原则

作文命题是作文教学中的重要环节，是训练前教师必做的一项工作。作文命题并非如大家所想的仅仅是出个题目而已，作为一门科学也有其自身独特的规律和要求。从命题方式上看有直接命题式、供料命题式、自由命题式等。无论是哪种命题方式，都要遵循一定的命题原则。通过多年的教学实践，我们总结了以下几种常见的命题原则。     

也谈复合命题

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

从命题的分析看两种不同的逻辑观

对命题的不同分析是两种逻辑的真正区别所在,这特别表现在对直言命题(主谓项结合的本质、全称与特称命题的逻辑结构,单称命题的地位)和关系命题的不同理解和把握上。     

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

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

反证法与命题代数中的等价命题

正确分析和使用反证法证题与命题代数中的等价命题。     

传统直言命题的制约逻辑剖析

传统直言命题Ａ、Ｅ、Ｉ、Ｏ作为 “命题形式”其逻辑语义没有规定清楚，逻辑结构尚未完全定型，因而而今还存在种种逻辑理论上的问题。     

等价命题在高等代数教学中的运用

本文根据高等代数抽象、逻辑性强的特点，介绍了运用等价命题的原理，解决某些命题的证明和概念的扩宽情况．     

DF命题的矩阵归结

对DFL归结方法作进一步的研究,阐述了DF命题的矩阵归结的理论．对任一DF命题归结反演,得到对应的子句集,采用⊙运算分离DF数和DF命题得到原DF命题的命题归结矩阵,由子句集的不可满足性条件,应用鲁宾逊归结原理,得出DF命题的矩阵归结方法,证明了矩阵归结法的成立定理,并给出了矩阵归结方法的一个推论．     

解析NMET完型填空题

解答完型填空题并非没有规律,而是有路可循。我们应该在把握完型填空型题命题的能力目标、命题原则、命题特点及其命题趋向的基础上,掌握NMET完型填空题的解题步骤,才能应付自如。     

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

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

数学命题的教学设计

这本文从数学命题的学习人手,分析数学命题学习的内容,数学命题学习的形式,分析数学命题学习的心理过程。在此基础上,论述了进行数学命题引人的设计,数学命题应用的设计的方法。