几类多项式命题的反证法证明

多项式理论中涉及许多命题的证明 ,其中有些命题无法或不易用直接证法证明 ,而用反证法来证明十分简捷有效     

判定多值逻辑推导问题的代数方法

本文证明了对于给定的多值逻辑系统中的命题公式，存在有理数域上的多项式与之对应从而判定一个命题公式能否以一组命题公式推出，我们只需判定某一多项式是否在一代数值上消失通过代数簇的分解，给出了判定这一问题的算法。     

基于二元域研究命题公式

简单讨论二元域F2及其性质。采用映射定义联结词和命题公式，把它们均抽象为F2上的多项式。基于F2研究命题公式的多项式范式和异或范式，给出全功能联结词集的判定条件。     

关于矩阵特征多项式的几个命题

从相似矩阵具有相同的特征多项式出发,逐步改变和减弱命题中相关条件,得到了几个关于矩阵特征多项式的结论.     

关于高等代数中命题的反例研究

反例在高等代数命题研究中有着独特的作用,然而,在高等代数教学及理论研究中,人们往往忽视了反例的效用。通过综合论述高等代数中命题的反例,对高等代数中若干命题通过消弱命题条件或变换命题条件和结论进行研究,得出了关于向量组、矩阵、线性变换、多项式等方面的命题的反例,深入探讨了关于多项式的不可约性、子空间的直和判定及矩阵相似性三方面的命题,从而深化了对原命题的理解和认识。高等代数中命题的反例研究有利于提高批判性思维和创造性思维能力,有利于提高对命题的深层次理解,对于高等代数教学及理论研究均有一定的指导意义。     

基于多项式的函数序列一致收敛的性质

针对文中一个关于多项式函数序列一致收效性质的命题，提出了若改变区间条件或对多项式作一定的限制，则谊命题不成立．并得出在一定条件下，多项式序列必定一致收敛于多项式。     

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

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

也谈复合命题

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

浅析作文命题的原则

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

命题和命题函项教学初探

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

临界概念和临界命题

本文从逻辑的角度出发，通过对临界现象和临床表述的分析，给出了临界概念和临界命题的定义，并对临界命题的逻辑演算进行了初步探讨。     

关于矩阵多项式命题的几个评注

对一些矩阵多项式论文中的结果进行评注，指出了其中的一些错误，修正了有关结论。     

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

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

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

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

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

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

试卷命题方法探讨

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

解析命题符号化

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

数学命题的研究与推广

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

试卷命题方法探讨

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

命题或开句的否的求法

互否的逻辑关系，反映了正、反两方面的相互关系，在数学中应用非常广泛。如：集合及其补集、命题或开句的否、事件及其对立事件等，怎样根据正面求其反面？也就是求逻辑否问题。１命题或开句的否的概念１．１命题与开句定义１能判断真假的句子，叫做命题。例如：２＋３＝...