函数项级数非一致收敛性判别中的一个问题

们=我.n n(x)在点集E上的和函数是S(x),S。(X)=习u、(x)k二1(x)不一致收敛于S(X)(X〔E)!S(x)一S。(x){不一致收敛于O8)0,丫N任I十(I 表示自然数集),曰n>N(n任I )及x任E,使得(x)不一收敛于S(x)(x〔E)令今存在数列I二_l(x〔E,从而把证明函数项级数不一致收敛的问题转化为求一正项     

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

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

选言命题与析取运算——从布尔代数看3种不同的析取运算

运用逻辑知识分析选言命题的形式及意义,区别3种不同的析取运算,讨论多元不相容命题的逻辑意义。从理论上讲,p1p2∨p3在现实中没有应用。对于3个支命题构成的选言命题,现实中只有2种情况:或者是二元相容析取(∨)形成的命题形式(p1∨p2∨p3),或者是三元运算形成的命题形式(p1△p2△p3)。     

基于关联Petri网和遗传算法的约束Web服务组合优化

1基本概念和性质定义1 APN(关联Petri网)是一个13元组:APN=(P,T,S,D,Λ,Γ,I,O,C,α,β,W,Th)其中P={P1,P2,…,Pn}是库所的有限集T={T1,T2,…,Ti}是变迁的有限集S={S1,S2,…,Sm}是支持的有限集D={D1,D2,…,Dn}是命题的有限集合Λ={τ1,τ2,…,τm}是一组支持的临界值的有限集Γ={γ,γ,…,γ}是一组信任临界值的有限集     

图的离心率值列的研究（英文）

设G为一个图,对任意x∈V（G）,其离心率e(x)定义为e(x)=max{d(x,u)│任意u∈（V（G）}。将G中各点的离心率的值按照（不重复）从小到大排列而得到的数列称为G的离心率值列。现设{ei}1 ≤i≤s为一个非减的整数数列。本得到了下面三个结果：（i){ei}1 ≤i≤s是图的离心率值列当且仅当{ei}1≤i≤s=[e1,es]且e1≥1,es≤2e1;（ii）定义NG（e)={x│x∈V（G）且e(x)=e},若│NG（e)│=1则e=r(G);(iii)有给定离心率值列[r,r s]的图的最小阶f[r,r s]为f[r,r s]={2r s,若0≤s≤r-2;r s 1,若s=r-1或r;这里,[s,s k]表示[r,r s]数列{r-1 i}1≤i≤s 1。     

n元真值函数构成的双格半群

证明了n元真值函数集L关于运算V及其对偶运算^、序结构≤作为一个布尔代数是一个F格半群：f∨g(x)=f(x)∨g(x)，f∧g(x)=f(x)∧g(x)，f≤g当且仅当f(x)≤g(x)(任意f，g∈L，任意x∈|0，1|^n)，并且确定了其分子结构．指出含n个变元的合式公式集关于合式公式等值关系←→所构成的商结构L／←→与L同构，从而说明命题逻辑的基本框架实际上是一个特殊的双格半群，即F格半群．     

零维理想的仿射代数簇

设K为一个域,I是多项式环K[x1,x2,…,xn]上的零维理想．研究了,的仿射代数簇V（I）中包含的点至多的个数及其等价命题,V（I）中包含的点的个数与商环K[x1,x2,…,xn]／I（V）及K[x1,x2,…,xn]／√I作为K上的向量空间时的维数之间的关系．     

奇异变换半群的局部极大幂等元生成子半群的结构(英文)

设S是集合X ={ 1,2 ,… ,n}上的奇异变换半群 ,E是S的亏数为 1的全体幂等元之集 ,I是E的非空子集 ,所谓由I生成的子半群 I 是S的局部极大幂等元生成的子半群 ,即指 I 是S的真子半群 ,且对任何e∈E \ I ,有 I∪{e} =S。确定了S的所有局部极大幂等元生成子半群的结构 (在同构的意义下 )     

Morita 系统环上的自由模

利用Morita系统环上的（右）模的分解,研究其上的自由模,并利用所得的结果刻画形式三角矩阵环上的自由莫模与投射模,对于Morita系统环T](RNMS)（θφ）,每个T－模可以分解为一个四元素对（P,Q）（f,g）,记P^-R＝P／Imf,Q^-s=Q/Tmg,R^-=R/Tmθ,S^-=S/1mψ,且设Λ为任意非空集合,主要结果有：1）若（P,Q）(f,g)≌T^（Λ）,则P^-R^-≌R^-(Λ）,Q^-S^-≌S^-（Λ）．2）若1p与Rθ的张量积＝0且1Q与Sψ的张量积＝0,则{（pλ,qλ)｜λ∈λ}是（P,Q）(f,g）的一组自由基当且仅当下列条件①和②成立：①{p^-λ｜λ∈Λ}和{q^-λ｜λ∈Λ}分别为P^-R^-和Q^-S^-的自由基,且{pλ｜λ∈Λ}是R－线性无关的,{qλ｜∈Λ}是S－线性无关的;②f(∑（qλ与nλ的张量积））＝0蕴涵nλ＝0,且g（∑λ（pλ与mλ的张量只））＝0蕴涵mλ＝0（对于任意的nλ∈N,mλ∈,λ∈Λ）．3）当M＝0时,（P,Q）（f,g）≌T（Λ）当且仅当P^-R^-≌R^(Λ）,Q^-s^-≌S^-(Λ)且f为单同态。     

命题逻辑的序结构

含n个命题变元的合式公式A(P1，P2，…，Pn)组成的集合M关于命题公式的等值关系←→构成的商集M/←→{CA|A↓B∈CA包含M，A←→B}关于如下代数运算∨和序关系≤是一个特殊的双格半群，即F格半群：CA∨CB=CA∨B；CB=CA∧B；CA≤CB当且仅当A的每一成真赋值都是B的成真赋值(A↓CA，CB∈M/←→)，这里的∧运算是∨的对偶运算，而M上的∧、∨运算分别是逻辑“或”逻辑“与”，同时给出了它的分子结构，并指出该F格半群与n元真值函数集构成的F格半群是同构的。     

也谈复合命题

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

互逆主义逻辑基础

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

对马克斯·韦伯命题的质疑——兼论儒家伦理是否阻碍了家族企业的发展

儒家家族主义对家族企业有何价值,在回答该问题时多半涉及马克斯·韦伯关于“儒家伦理阻碍东方资本主义发展”的命题。该命题由于存在严重的“缺陷”和“脱节”,应当受到质疑。在20世纪70年代末以后,因为日本的经济崛起以及随后亚洲“四小龙”的经济腾飞,儒家伦理促进了东方资本主义的发展,也促进了当代中国家族企业的发展。     

分析命题与综合命题之辨——对奎因论证的证伪

对分析命题和综合命题进行一番历时性梳理,剖析奎因在论证上的偏颇之处:其一,混淆了定义与同义词之间的界限;其二,扩大了同义词的范畴;其三,错误地将词项同义的条件限定在满足"所有语境"的情况下,从而得出结论奎因对形而上学的批判并不构成挑战。     

三个几何命题的推广

平面几何的许多命题可以推广到立体几何中,本文就三个平几命题加以推广,并给以证明．     

解析命题符号化

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

微积分一种重要类型极限的计算方法

给出了一种类型函数极限运算的公式及其在微积分极限计算中的具体应用,应用此极限公式可以求某些极限运算中参数的值,给出一元函数在某一点连续的充分条件和求一个曲线的渐近线,同时提供了一个命题的证明方法.     

英语方位介词意义习得的认知分析及教学启示

英语中的介词数量多而且大多数都是多义词,但这些意义都是相互联系的。从认知语义学的角度分析,一个介词意义的扩展是从最初表示的方位意义到表示抽象概念的一个过程,介词所表示的方位意义是介词意义扩展一隐喻化的重要过程的基础。文章主要从认知语义学的角度通过简单的英汉对比来浅析方位介词意义的扩展及其对汉语为母语的英语学习者带来的影响,希望能够在日常的介词教学中帮助学生准确生动地理解介词的隐喻意义,促进介词的习得和使用。     

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

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

凸函数等价性讨论

该文综合了凸函数已有的成果，获得了一个新命题，并论证了各个命题的等价性。