浅议数学命题的否定

命题的否定是命题的基本运算之一,由于命题形式多样,因而构造命题的否定的方法也多种.本文根据命题结构上的特点,对命题进行了划分,并以此划分着重讨论了命题的否定,以期对命题的否定有一个较系统的方法.鉴于一个命题的否定和这个命题的否命题往往容易混淆,本文从不同方面对此进行了说明,以使对命题的否定和否命题有一个较明确地认识.     

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

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

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

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

数学命题的教学设计

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

全国硕士研究生招生考试自命题工作管理优化探索

为做好研究生招生考试自命题管理工作,通过对甘肃省内高校自命题管理工作现状进行实地调研和多角度分析,梳理管理工作中风险认识不到位、人员配备不到位、集中命题场所建设有差距、命题方式有待改进、命题室建设和命题设备缺乏标准等共性问题,提出改革招生考试模式、减少自命题科目、提高风险意识、建设命题梯队和集中命题场所等思路和思考,为避免管理环节的漏洞进行了有益的优化和探索。     

论句式修辞的逻辑手段

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

命题和命题函项教学初探

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

间接证法

从命题的题设出发,根据公理、定义和已知定理,直接论证题断的真实性的证题方法叫做直接证法.证明与原命题等效的某命题为真或证明与原命题矛盾的命题为假,进而断定原命题成立的证题方法叫做间接证法.     

浅谈"简易逻辑"中的"否命题"与"非P"

在简易逻辑中"否定"有两种形式一种是否命题,一种是非P(记作"、P").如果原命题是"若p则q",那么这个原命题的否命题是"若非p则非q",即否命题是对一个原命题的条件和结论都加以否定;"非P"也叫做命题p的否定,它则是"若p则非q",即非P是对原命题的结论加以否定.它实际上只给出了命题P的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲.     

浅谈“简易逻辑“中的“否命题“与“非P“

在简易逻辑中“否定”有两种形式:一种是否命题,一种是非P(记作“┌P”)。如果原命题是“若p则q”,那么这个原命题的否命题是“若非p则非q”,即否命题是对一个原命题的条件和结论都加以否定;“非P”也叫做命题p的否定,它则是“若p则非q”,即非P是对原命题的结论加以否定。它实际上只给出了命题P的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲。     

浅谈“简易逻辑“中的“否命题“与“非P“

在简易逻辑中“否定”有两种形式:一种是否命题,一种是非P(记作“「P”)。如果原命题是“若p则q”,那么这个原命题的否命题是“若非p则非q”,即否命题是对一个原命题的条件和结论都加以否定;“非P”也叫做命题p的否定,它则是“若p则非q”,即非P是对原命题的结论加以否定。它实际上只给出了命题P的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲。     

也谈复合命题

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

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

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

浅谈“简易逻辑”中的“否命题”与“非P”

在简易逻辑中“否定”有两种形式:一种是否命题,一种是非P(记作“「P”)。如果原命题是“若p则q”,那么这个原命题的否命题是“若非p则非q”,即否命题是对一个原命题的条件和结论都加以否定;“非P”也叫做命题p的否定,它则是“若p则非q”,即非P是对原命题的结论加以否定。它实际上只给出了命题P的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲。     

弹性·情感性·启发性─—作文命题小议

命题作文是中学作文训练常用的一种形式,命题是作文教学的一个重要环节．本文立足于作文命题开启学生心灵,激发作文兴趣的角度,从弹性、情感性、启发性三方面探究作文命题的技巧,提出命题富有弹性,才能面对所有不同层次的学生;命题富有情感性,才能激发学生的写作热情;命题富有启发性,才能启迪学生思维．好的命题应是三者的有机统一．     

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

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

Pfaff约束可积的Euler形式的充分条件

研究Pfaff约束可积性问题.利用Pfaff约束可积的充分条件,给出Pfaff约束可积的Euler形式的充分条件--命题1.指出命题1的逆命题一般并不成立--命题2.举例说明命题1和命题2的应用.     

互逆主义逻辑基础

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

Pfaff约束可积的Euler形式的充分条件

研究Pfaff约束可积性问题.利用Pfaff约束可积的充分条件,给出Pfaff约束可积的Euler形式的充分条件———命题1.指出命题1的逆命题一般并不成立———命题2.举例说明命题1和命题2的应用.     

对两种负复合命题的等值命题的辨正

长期以来,我国高等学校流行的普通逻辑教科书,都把负不相容选言命题和负充要条件假言命题的等值命题看作是由两个联言命题为选言肢所构成的相容选言命题,如:在全国有广泛影响的《普通逻辑)就认为:"并非(要么P要么q)"的等值命题是"(q并且q)或者(非q并且非q)",即qVq什(pAq)V(户八万)O;"并非(当且反当p才q)"的等值命题是"或者(p并且非q)或者(非p并且q)",即灭了万0(pAl)V(lAq)O。笔者认为这是不妥的。它们的等值命题应该辨正为以两个联言命题为选言肢所构成的不相容选言命题。一、关于负不相容选言命题的等值命题我们知道,一个不相容选言命…