浅议数学命题的否定

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

也谈复合命题

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

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

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

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

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

互逆主义逻辑基础

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

浅析作文命题的原则

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

论句式修辞的逻辑手段

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

数学命题的教学设计

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

间接证法

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

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

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

试卷分析系统的设计与实现

试卷分析可以检测试题能否真正达到考核目的,同时对试卷命题质量做出科学的鉴定和总结。通过对试卷评价中涉及的参数指标进行分析,对试卷分析系统进行设计与实现。     

Linux的民文化技术

基于Linux发展我国自主的民文OS方法及技术具有非常重要的意义.其中国际化、本地化及民文化是三个重要的概念.Locale的民文化定制是国际化、本地化的底层实现.在X窗口系统中实现民文的显示,输入和打印的技术是Linux民文化的关键.     

最小相位系统MRAS的工程设计法

本文给出适用于所有最小相位系统为被控对象的MRAS的简化工程设计方法,对于解决一般工程控制问题具有普遍意义.作为本方法的理论依据,文中给出一条定理及其数学证明.定理表明使用该方法设计的MRAS满足渐近超稳定性条件.文中还讨论了该方法的应用情况,从而论证了该方法的合理性和可行性.     

THE UNIFORM PERSISTENCE FOR TWO NUTRIENT CHEMOSTAT MODEL

利用文［１］、［２］中无限维动力系统一致持续生存的结果分析了文［３］中的模型,得到了和文［３］相一致的一致持续生存的充分条件．但本文的证明方法简化了文［３］中的证明,且本文的证明方法较文［３］更易推广和改进．     

期权调整利差（OAS）方法在MBS证券定价中的应用研究

本文首先分析了MBS证券定价的特点及其与一般固定收益证券定价的差异性,在此基础上,本文通过对期权调整利差（OAS）方法基本原理的分析,提出了OAS方法在MBS证券定价应用上的优越性。同时,文章也探讨了运用0AS方法对MBS证券进行定价的一般过程,最后提出了OAS方法存在的缺陷。     

定点到C~2类曲面距离函数的改进

根据文献 [1 ]所讨论的有关问题 ,建立一个二元函数 ,用于讨论该函数的临界切点及蜕化情形 ,结合曲面点的分类得到有关定理及推论 ,改进并推广文献 [1 ]中相应的结论     

旋转体弹塑性统一解

采用双剪统一屈服准则对旋转圆盘、旋转圆柱体进行弹塑性分析，已有的Ｔｒｅｓｃａ准则、Ｍｉｓｅｓ准则、双剪应力准则的解答是文中解答的特例或可以用文中解逼近，庐解答可适合于多种材料和结构，从得出的解析解和图示表明，正确认识材料强度并合理选择屈服准则对结核设计有重要的意义。     

悬索结构初始状态及放样状态的确定分析

首先给出了悬索结构的初态平衡方程，并提出了一种求解结构在初始态预应力分布的线性化方法，提出了的方法是以结构的预应力分布为未知量，而结构的几何外形由设计者给定，在预应力态确定的基础上，提出了一种如何由预应力态反算结构几何放样状态的方法，算例表有提出的方法是可行、实用的。     

Banach空间中非扩张映射不动点的迭代方法

该文讨论了一致凸的Banach空间中非扩张映射迭代序列的收敛问题,给出了Ishikawa迭代序列两个收敛性定理,改进了Zhou Hanyun(2002年)文中对应的结论.     

基于DFS的并行粒度计算模型及其应用

针对粒度计算在并行计算中的工作机理,基于动态模糊集理论给出并行粒度计算模型和算法,并进行范例系统分析,结果表明该算法是有效的,从而进一步丰富了粒度计算的内容。