命题和命题函项教学初探

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

信息技术与高中数学命题教学整合的实践

从实践层面通过具体的教学课例提出了信息技术与数学命题教学整合的三个"有利于"的原则,即有利于对命题产生过程的自主认知;有利于学生对命题证明过程的深度参与;有利于学生对于命题内涵外延等知识进行主动建构。同时通过课例就信息技术在命题教学的引入、证明及揭示命题本质等环节中的作用进行了深入探讨。     

PIRLS命题依据与我国小学中段阅读命题依据的比较及启示

PIRLS作为全球范围内的阅读测评越来越受到广泛的重视,它是以"阅读素养"为目标指向,以"4个层次的阅读能力"为依据来进行阅读试题命制的。通过PIRLS阅读命题与我国小学中段语文阅读命题的对比,"命题依据"方面存在着明显的差异,即PIRLS命题目标指向明确,是对学生综合阅读能力的考察,命题依据是阅读能力的各个层级;而我国小学中段阅读试题没有形成系统的规范的命题依据。这些差异促使我国对小学中段语文阅读命题依据进行重新审视,进而达到理论与实践借鉴的意义。     

解析命题符号化

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

一个假命题反例的构造

怎样去构造一个反例,说明一个命题是假命题,在数学的教学中有着相当重要的地位,也是教学的一个难点。比如命题"有一组对角及一组对边相等的四边形是平行四边形"是假命题时,其反例就不易找到。     

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

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

平面几何命题的类比推广

类比是一种重要的数学思维方法,是根据两事物有一些相似或相同的属性,猜测其它的一些属性也可能相似或相同的思维方法。平面几何命题的类比推广包括三方面内容:平面几何命题在平面几何中的类比推广;平面几何命题在立体几何中的类比推广;平面几何命题在其它学科中的类比推广。平面几何命题的类比推广是学习中广泛应用且有成效的思维方法,对平面几何命题深入、渗透、移植发挥了重要的作用,所以在几何学中类比推广是不容忽视的。     

DF命题的矩阵归结

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

也谈复合命题

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

试卷命题方法探讨

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

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

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

试卷命题方法探讨

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

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

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

数学命题的研究与推广

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

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

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

数学命题的教学设计

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

证伪还是证实——电影研究中的真命题与假命题

讨论了电影学的肢解和分离,认为当下的电影研究不光是愧对电影的创作,更是愧对电影学本身的学术地位和学术尊严。讨论了电影研究中的真假命题,并对"商业电影与艺术电影"、"电影的本体研究"这2个假命题进行了剖析。认为中国电影理论工作者的历史责任是应多写些实实在在的文章,在电影的分支、细节、前沿交叉上多做一些实证研究,努力构建一个有影响力的学术话语场所和批评场所,在电影产业和电影观众之间搭起一座很舒坦的桥梁。     

浅析作文命题的原则

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

临界概念和临界命题

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

几类适宜用反证法证明的命题

否定命题判断的相反判断 ,从而肯定原来判断的正确性 ,这种证明法称为反证法。使用反证法的步骤可归纳为 :一、假设命题的结论不成立 ,即命题结论的否定方面成立 (每个否定方面均应考虑到 ) ;二、以命题的否定方面作为条件进行推理 ,得出和已知条件、公理、定义和定理等相矛盾或自相矛盾的结论 ;三、确认命题的所有否定方面不能成立 ,从而肯定命题的结论成立。哪些命题适宜用反证法证明 ,要一般地回答这个问题是不容易的 ,也不是绝对的 ,在此 ,提出如下几类适宜用反证法证明的命题 ,仅供参考。(一 )当命题含有涉及到各种“无限”形式的结论…