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

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

对负判断的等值判断的思考

在现行普通逻辑教材中,对复合判断的等值判断,从理论上解说的较多,本文作者从逻辑形式上对复合判断的等值判断的求值方法进行了探讨,以求得便于理解、容易掌握的规律。并对现行普通逻辑教材中通用的几个复合判断的负判断的等值判断的公式提点不同看法。     

浅淡负选言判断的等值判断

很多逻辑书都套用德摩根律“否定选言得联言,否定联言得选言”,笼统的概括:负选言判断等值于一个相应的联言判断。这易犯以偏概全的错误。     

浅谈对复合命题的理解

通过对简易逻辑学中一些基本概念的介绍和典型实例的具体分析,强调了准确理解复合命题的重要性,对中学数学中简易逻辑学的常规教学具有一定的参考价值.     

负二项分布参数的两种区间估计

研究了负二项分布参数的区间估计方法,给出其两种区间估计方法.首先给出负二项分布参数的精确区间估计方法;其次给出大样本近似区间估计方法.最后通过数值例子介绍这些区间估计方法的应用.     

一个无穷小量命题的两种证法

我们在研究实用逼近论方法时,曾遇到了当h*0千时,求诸如 1了“(儿,二1二.育二TI’。Xg艺刀 “’:]。1,一dX(”二1,2,3,一)甚至求 1不人,.1,1:(叮)二不下二万!,X“夕了拄—叮万 “‘’‘二j oX当入兰1时的极限问题。作变换万一l/x,记N~1/h,则有 ‘、‘“,一N又一护;‘攫d;。下面     

拟微分算子有关命题的两种证法

命题:设A是适拟微分算子,K_A∈C~∞(X×X),则对任意的u∈D′_0,有A_u∈C~∞(X) 证法一:首先我们来证明对u∈D′_0(X),函数 f(x)=是在C~∞(X)中的。显然对每个固定的x,有K_A(x,y)∈C_0~∞(X)(视为y的函数),故f(x)确为通常意义下的函数。而且当x→x_0。时,将x看成参数的y的函数K_A(x,y)的支集落在一个共同的紧集之内,且在此紧集上对x一致地有D_y~mK_A(x,y)→D_y~aK_A(x,y)即在D_0(x)的拓扑下有K_A(x,y)→K_A(x,y),从而有f(x)→f(x),     

也谈复合命题

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

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

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

对两道热力学题命题的分析

笔者在教学中发现,现在被广泛采用作为高校教材的文献[1]第97——98页上的例题用作英美研究生教和第60页上的习题第四题,在命题上均有欠合理的地方,值得探讨.经查阅,前者出自曾经材的文献[2]中,是该书第32页上的习题.本文就这两道题的命题予以分析讨论,并相应地给出合理的命题结果.题一:一物质在恒温 T_0下,当它的体积从 V_0膨胀到 V 时,它所作的功为     

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

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

负指数效用函数最优组合的两种解法及其一致性

对投资组合中常用的负指数效用函数进行了研究,分别应用拉氏乘子法和无差异曲线法求解出该效用函数的最优组合投资比例,并验证了两种解法的一致性,即对该效用函数二者得出的解是相同的,并给出具体实例予以说明.     

复合转子异步电机的等值电路及其参数计算

给出了复合转子异步电机等值电路的一般形式及其参数的计算公式;提出了等值电路的实用形式;就该电路参数特别是转子两层间的互感抗的计算方法进行了较详细的讨论.样机计算结果与实验结果的对比,证明了实用等值电路计算的准确性.     

复合转子异步电机的等值电路及其参数计算

给出了复合转子异步电机等值电路的一般形式及其参数的计算公式；提出了等值电路的实用形式；就该电路参数特别是转子两层间的互感抗的计算方法进行了较详细的讨论。样机计算结果与实验结果的对比，证明了实用等值电路计算的准确性。     

DC复合优化问题的两种Fenchel对偶模型研究

本研究考虑的模型为无约束的DC复合凸优化问题。首先,利用扰动方法,c-共轭框架下的广义凸共轭定理及均匀凸（简称e-凸）技术,建立了DC复合优化问题的两种Fenchel对偶问题。其次,利用c-共轭函数的上图性质,给出了三个重要的集合。最后,在e-凸函数的假设下,刻画了两对原—对偶问题的强对偶性以及两者之间的等价关系。     

对多元复合函数高阶偏导数两种求法的研究

采用＂复合→四则运算＂和＂四则运算→复合＂两种模式综合考虑求解多元复合函数高阶偏导,理清了多元复合函数求解高阶偏导数过程中复合与四则运算、函数与中间变量及自变量之间的关系。     

测验等值设计的一种新方法

测验等值的单组设计，是将需等值的测验Ｘ、Ｙ都由同一考生组施测，然后对测验分数进行等值。其优点是考生组织只有一个，Ｘ、Ｙ成绩的差异交归因于测验的不同而不会混杂先生性组不同的因素。缺点是同一考生要测验两次，练习效应和疲劳将会干扰结果。本文提出一种新的设计方法－－单组设计试卷分半法，是在单组设计中，把测验Ｘ、Ｙ各分成平行的两半卷分半法各取Ｘ、Ｙ的半卷组成新的测验Ｚ，将Ｚ对同一考生组施测，根据施测结果导出     

两个极限命题的证明

用归纳法证明了两个极限命题。(1)设m>1,pi(x)(i=1,2,…,m)是[1, ∞)上的连续正函数,在满足一定条件下成立li mx→ ∞∫1xtm-1p1(t)p2(t)…pm(t)dtxmp1(x)p2(x)…pm(x)=α2α3…αm α1α3α…1αα2m… αm… α1α2…αm-1(2)设pjn,an(j=1,2,…,m;n=1,2,…;m>1)均为正数,在满足一定条件下成立li mn→∞∑nk=1akm-1p1kp2k…pmkanmp1np2n…pmn=α2α3…αm α1α3α…1αα2m… αm… α1α2…αm-1     

两个极限命题的证明

用归纳法证明了两个极限命题.(1)设m>1,pi(x)(I=1,2,….m)是[1, ∞)上的连续正函数,在满足一定条件下成立lim x→ ∞[∫x 1tm-1 p1(t)p2(t)…pm(t)dt]/xmp1(x)p2(x)…pm(x)=α1α2…αm/α2α3…αm α1α3…αm … α1α2…αm-1(2)设pjn,an(j=1,2…,m;n=1,2,…;m>1)均为正数,在满足一定条件下成立lim x→ ∞(n∑k=1 am-1 k p1kp2k…pmk)/amnp1np2n…pmn=α1α2…αm/α2α3…αm α1α3…αm … α1α2…αm-1.