从关系逻辑的观点看特称否定命题的换位问题

传统逻辑认为 A、E、I命题都可以换位 ,而 O命题不能换位。但传统逻辑只是证明了在 A、E、I、O命题的范围内 ,O命题不能换位 ,它并没有证明 O命题根本不能换位。传统逻辑只是性质逻辑或类逻辑 ,而不是关系逻辑。从关系逻辑的观点看 ,O命题不但是可以换位的——其换位所得的结论不是 A、E、I、O命题——而且如同 A、E、I命题的换位一样 ,O命题的换位也是有其一般意义的     

三段论的“E、I”检验方法

“E、I”三段论的推理体系己在另文中有详细论述.本文着重介绍三段论的“E、I”检验方法.     

矩阵A的中心化子可表成A的方阵多项式的充要条件

n阶矩阵A的中心化子C(A) ={B∈Pn×n|AB =BA} ,P[A] ={f(A)∈Pn×n|f(x)∈P[x] } 本文给出了C(A) =P[A] ,即A的中心化子可表成A的矩阵多项式的充要条件     

M_n(R)上矩阵间的一种等价关系

本文主要讨论有单位元1(≠0)的IBN环R上的n秩自由模M上关于环R的自同构δ的R—半自态(?)在M的不同的R—自由基下矩阵间的一种关系。1 已有结果设M是有单位元1(≠0)的IBN环R上的n秩自由模,δ是环R的自同构,U={ui}_1~n是M的R—自由基,(?)是M上关于δ的R—半自同态。则有:1.1 因(?)(ui)∈M,故(?)(ui)=sum from j-1 to n aijuj,aij∈R,(?)记〔(?)(ui)〕U=(ai_1,ai_2,…,ai_n)为(?)(ui)在基U下的坐你,显见〔(?)(ui)〕U是唯一确定的。从而     

Cayley变换的几种形式

Cayley变换是英国数学家Arthur Cayley在上一个世纪建立的,其内容可以由下面三个命题来表达。 命题1 如果S是反对称实矩阵,那么A=(I-S)(I+S)~(-1)是正交矩阵。 命题2 如果A是正交矩阵,I+A可逆,那么S=(I-A)(I+A)~(-1)是反对称矩阵。 命题3 设J={J∈Mn(k),J=(j_ie)|j_il=1或-1,j_il=0,当i≠e,1≤i,1≤n}s是反对称实矩阵,则任何T∈M_n(R)都有J∈T使得JT+I可逆,进而任何正交矩阵A可以表为A=J(I-S)(I+S)~(-1)。     

从关系逻辑的观点看三段论

从关系逻辑的观点看,三段论并非如卢卡西维茨所认为的那样是根据普遍词项的A、E、I、O关系所进行的推理,而是根据类的分子与类的分子的等同于或不等同于关系所进行的推理。三段论是量化的间接关系推理。三段论逻辑,是比命题逻辑、量词逻辑更为特殊的逻辑,用一般的量词逻辑是无法说明所有三段论有效式的有效性的。     

Jenson不等式在凸包上的推广

对于线性空间R^k上的凸子集上的凸函数,利用Jenson不等式得到了有限集合S={x1,x2,…,xn}构成的凸包coS中的元素所满足的一个新的不等式。     

信封里的太阳

①圣诞订,丹尼斯全家在游乐场幸运地抽到了1 O美元奖金。②丹恺斯把钱拿到学校,把这份快活讲给同学们;粼{嗽爷 斌\\遇雏鬓犷 }月尼斯一、、‘I,,~、。二丈万二二.一、一。______州却没听资胜坪熨.头T:J且t誉公旋人瑟石石 /荃Ilj兰卜1日丫、月,理、月匕1一羊多U下戈,认}人几尸‘     

时间序列线性模型中隐蔽周期的估计

设随机序列Y={Y_n,n∈N},N={0,±1,±2,…}满足下列线性模型 Y_n=sum from j=1 to p(α_ie~(inλj))+X_n,n∈N其中α_j,λ_j,1≤j≤p为确定的常数,X={X_n,n∈N}为实平稳序列。这是时间序列分析的理论和应用中经常讨论的一种模型。它表明被观察到的Y_n是由决定性的周期变化项sum from j=1 to p(α_ie~(inλj))和随机干扰X_n迭加而成的。从统计分析的角度来考虑,首先需要解决的是如何根据观察到的Y的现实来估计α_j,λ_j,p及平稳序列X的统计特征。其中关于隐蔽周期λ_j,1≤j≤p的估计问题,[1]中已提出了δ-隔离周期图极大估计的方法,即取使周期图     

有关α级预星象函数的一类解析函数的注记

设 f(z) =z a2 z2 …在单位圆盘 U={ z:zk}内解析函数 ,本文研究满足条件Re(Dλ 1f(z)Dλf(z) >1 β)λ αλ 1(λ>- 1,0≤βλ α<1)的 f (z)构成的类 Qλ (α,β) ,其中 Dλf(z) =z(1- z) λ 1* f(z) ,运算 *表示 Hadamard卷积。证明了 Qλ (α,β)的包含关系和卷积定理 ,拓广了〔3〕〔4〕中的相应结果。     

关于广义Fibonacci矩阵集合上的Fermat方程

设Am是阶广义Fibonacci矩阵，设B={Am^k ｜k∈Z，k≥0}．证明了：方程x^n＋y^n=z^n，x，y，z∈B，n∈N，n≥2没有解（n，x，y，z）．     

龟虽寿

。·聋矛}叮万厄升}。·皇应示}神龟虽寿，犹有竟弓丁遥几}厂经卜}奋鱼J云}拚蛇乘雾，终为卜;舀侄石I泛3-一1 66诬一Bi老软伏杨，志在T.盯.飞几}f刁卜}5.立犷1}时:捧年，壮.乙不舀舀飞}介道在6一一一呀里: 2一一一已。5一一一天，.2不日期、.勺U︸t且一.2一户. \人口，川几永几}几3-怡之福，6一一一年。︹.洲一纷、6一‘拉乙、养一一.2志.、志、.1;、no‘犷qU ..︸.尸︸匀立以合.以·5.歌.2.歌︸no一1.卜一d‘.1石O处曰\石﹄一山四几至旦共5.幸械弓.鑫幸甚百习}至龟虽寿@曹操!魏 @王大兴~~…     

BCI-代数的拟结合部分的性质

在BCI-代数X中，把Q（X）={x∈X｜0＊（0＊x）=0＊x}叫做X的拟结合部分．讨论了它与X的G-部分和p-半单部分的关系，给出了Q（x）的其它性质．     

LnZ的一个错误及其矫正

在复变函数教学中,初等函数 LnZ 是个难点,这里分析并纠正通用教材《复变函数》(西安交通大学高等数学教研室编,高等教育出版社,1994年第三版)中的一个错误。1、2Lnz≠Lnz Lnz学生常认为:2Lnz=Lnz Lnz,甚至在上述通用教材中也是如此。下面就这个问题分析其产生错误的原因。因为 Lnz 是一个多值函数,所以它的取值可看作一个集合,这样上式左右两边分别代表两个集合。左边的2Lnz 相当于集合 Lnz 中每个元素2倍后所成之集,如:A={1,2,3},2A={2,4,6}。右边相当于集合 Lnz 与集合 Lnz 相“加”所成之集,它是一个集合的每个     

中紧性及其推广

定义1 空间 X 的一系列覆盖{V_i}_(i∈N)称为紧式θ-序列(CS-θ-序列),如果任给 X 的紧子集 K(收敛序列 C={p_i,p}i∈N),存在 i(k)∈N(i(C)∈N)满足.(?)空间 X 称为次中紧(次序列中紧)的,如果 X 的每个开复盖有开的紧式-θ加细序列(CS-θ-加细序列).     

悦园商厦时尚小商品市场

SH闷N口H曰l曰U曰U曰N悦园商厦时尚小商品市场点呈饰品Tel/021一63262552地址/上海市城隆庙丽水路1号悦园商厦二楼B72区SH曰N曰H门l曰U曰U曰N悦园商厦时尚小商品市场伊佰月小淑艾饰品飞I/021一65111191地址/上海市城煌庙丽水路1号悦园商厦二楼834区SH曰N口H门扭曰U曰U曰N悦园商厦时尚小商品市场君子饰品Tel/021一63283938地址/上海城。丽水路1号悦丽肛、。区与H门N口曰曰.曰U曰口门N }l兑园商厦时尚小商品市场洋洋饰品Tel/021一63285638地址/上海城，丽水路1号悦确t，。区悦园商厦时尚小商品市场~~…     

增长曲线模型非齐次线性估计的可容许性

讨论增长曲线模型Y =X1BX2 +ε中回归矩阵B的函数C1BC2 的估计L1YL2 +A ,在矩阵损失 (LT2 L1)Y +A - (ST2 XT2 S1X1)B (LT2 L1)Y +A - (ST2 XT2 S1X1)B T 下 ,我们得到了非齐次线性估计L1YL2 +A在非齐次线性估计类Г ={L1YL2 +A|L1:t×p ,L2 ;n×n ,A :t×s均为已知实阵 }中可容许的充要条件 :L1YL2在Г0 ={L1YL2 |L1:t×p ,L2 :n×s均为已知实阵 }中容许且当LT2 XT2 L1X1=ST2 XT2 S1X1时有A =0。     

通信网业务参量的一个随机预测模型

利用离散时间型马尔科夫链及随机理论,构造了一个转移概率矩阵,并按照通信网业务特性,将需要预测的通信业务分为N个等级,定义了S={1,2,…,N}共N个状态空间,建立了通信网业务参量的随机预测模型。通过通信网的实例分析,说明了该模型的可靠性。     

勒贝格积分的一个性质

巳知l二,(:)d:一。~般跳来,由于I(川拳0所以在E的子集上积分不一定为零如E;〔E亦具有积分为零的性鬓、显的耘,(x)“一}、,f(x)“+l二一二;,(x)“ 可分解为雨个等于零的积分之和,如果E,不加条件限止,这周题是无意义的。 例如饥E;,0,《或仇E,=饥E)是可分解的。 所以必需封希某种条件下的可分解性下面定理就封渝对任意测度a(a‘饥E)是可分解的。 r定理,靛、对阁“‘一”,助对任始a’0相似文献   

两类运算图的Merrifield-Simmons指标

在图G与不相交图序列hn=(Hi)i={0,1,…,n-1}的广义字典积G[hn]中,若HiH,i=0,1,…,n-1,则将G[hn]记为G[H],其中G[H]是G与H的字典积.通过研究广义字典积P3[Pm]与P3[Cm]的Merrifield-Simmons指标,给出一种计算公式.