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

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

“附议”元语言表达式的语用功能分析

本文作者穷尽《雷雨》中所有“附议”元语言形式,总结出包容所有“附议”元语言形式的普遍表达式：（实词）＋（虚词）＋主词＋（虚词）。并利用关联理论分析该元语言形式由于最大关联产生的完全“附议”到无关联产生的完全“否定”的不同命题态度的流变过程来显示其各种语用功能：命题态度;增强语境,凸显最佳关联;话语推进;语用缓和;语用修辞;经济高效等功能。     

关于不定方程x~3＋1=py~2

设p是奇素数,t是非负整数,s是不超过7的非负整数,在p=3（8t＋s）（8t＋s＋1）＋1的情形下,运用初等数论的方法给出了不定方程x3＋1=py2无正整数解的充分条件.     

环Mn×s（F2＋uF2）上线性码关于RT距离的MacWilliams恒等式

定义了环Mn×s（F2＋uF2）上码的Lee完全ρ重量计数器和精确完全ρ重量计数器,给出了环Mn×s（F2＋uF2）上线性码关于这两种重量计数器相应的MacWilliams恒等式.     

素数在某一类四次域中的分解

首先确定了四次方程Fα（x）=x^4＋2（1-α）x^2＋（1＋α）^2在Z[x]中可约的充要条件;然后在Fα（x）不可药的前提下,当p为奇素元且p不整除DUO时,D（f）为Fα（x）的判别式;最后详细论述了p在Fα（x）的根所确定的四次域中的分解情况,并且找出了Fα（x）的根系及它所确定的伽罗瓦群．     

带p-Laplace算子的非线性两点边值问题正解存在的充分必要条件

利用锥拉伸与压缩不动点定理,研究了带有p-Laplace算子的非线性两点边值问题{（φ（x′））′＋f（t,x,x′）=0,t∈（0,1）,x（0）=x（1）=0存在正解的充分必要条件,其中φp（s）=｜s｜^p-2,p〉1,φp^-1（s）=φq（s）,1/p＋1/q=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的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲。     

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

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

奇异正交群作用下子空间轨道的长度

设Fq是q个元素的有限域,Fq2v＋δ＋l是Fq上2v＋δ＋l维行向量空间,O2v＋δ＋l,△（Fq）和O2v＋δ＋l（Fq）分别是奇特征和偶特征有限域Fq上的正交群．Fq2v＋δ＋l在02v＋B＋l,z（F。）（02v＋8＋l（F。））作用下导出了它在Fq2v＋δ＋l子空间集合上的作用,因而Fq2v＋δ＋l在0：州＋f．d（F。）（0：。＋：（F,））作用下划分成一些轨道M（m,2sy,s,F,k;2v＋占,△）（Mm,2s＋y,s,,k;2v＋6＋z））．采用正交群0：Ⅲ,。（F。）（02v＋8＋1（‘））作用在F2。。上子空间轨道长度的公式,并且利用矩阵初等行变换的方法,分别给出M（m,2s＋7,s,F,k;2v＋6,△）和M（m,2s＋y,s,F,k;2v＋6＋1）的长度公式．     

杨辉三角与素数的关系

设p为素数,s,t∈N,a=t∑i=0 aip^i,r=s∑i=0 rip^i,这里ai,ri∈N,0≤ai≤p-1,0≤i≤t,0≤ri≤p-1,0≤i≤s,证明了Ca^r=Ca0^r0…Cas^rs（mod p）和Ca＋r^r≡Ca0＋r0^r0 Ca1＋r1^r1…Cat＋rt^rt（mod p）两个同余式．据此导出了杨辉三角的第a行以及第0行至第a行的二项系数中,使Ca^r≡0（mod p）的个数和使Ca^r≡0（mod p）的个数,推出了斜列{Ca＋r^r：r=0,1,…}中使Ca＋r^r≠0（mod p）的个数和使Ca＋r^r≡0（mod p）的个数．     

一种基于Choquet积分的不精确推理方法

模糊规则是模糊推理中的重要工具之一,它表示了模糊知识的因果关系.在一个模糊规则集中,当模糊命题间存在交互作用时,将参数权重用模糊测度取代,得到了一种基于模糊规则矩阵变换和Choquet模糊积分的模糊推理方法.该方法主要应用在不完全归纳推理中.     

三类复合型积分因子的充分必要条件及其应用

利用μ（x,y）是一阶微分方程积分因子的充要条件,讨论了一阶微分方程的积分因子问题,给出三个不同类型的复合型积分因子μ[p（x）＋f（x）g（y）＋q（y）],μ[φ（xsyt）＋p（x）＋q（y）],μ[φ（xsyt）＋p（x）q（y）]存在的充分必要条件及相应的推论,并结合实例给出具有上述形式积分因子的求解方法.     

英语双宾构式多义网络的认知阐释

构式语法突破了传统语法单纯结构分析的局限,致力揭示形义之间的某种系统联系。认知语言学认为每一种构式表达一类与人类经验有关的重要基本情景,双宾构式是句法形式S＋V＋O1＋O2与＂给与性转移事件＂的结合体,是以＂转移＂为原型义而展开形成的网络系统。构式为动词及整个语句提供基本的情景（generalscene）,而动词表述这个情景中的某些突出的行动（salient action）。     

元刊杂剧的比拟句式

元刊杂剧的比拟式有三种表现形式：（本体＋）像义动词＋喻体＋比拟助词;（本体＋）喻体＋比拟助词;（本体＋）像义动词＋喻体,第一种是全式,后两种为简式.元代出现了新的比拟助词＂来＂、＂也似＂,比拟简式较多充当状语和定语,这些在元刊杂剧中都有所反映.     

一类推广的CH方程适定性问题的研究

借助运输方程理论以及经典的Friedrichs正则化方法证明了一类推广的CH方程解在Besov空间Bs p,r（s＆gt;max{2＋1/p,5/2}）的局部适定性.     

带非齐次边界条件的二阶常微分方程边值问题正解的存在性

运用θ-凸算子理论研究了带非齐次边界条件的二阶常微分方程边值问题（p（t）u＇（t））＇＋h（t）f（u）=0,t∈（0,1）,au（0）-bp（0）u＇（0）=α[u]＋λ,cu（1）＋dp（1）u＇（1）=β[u]＋{μ正解的存在唯一性,其中：p∈C（[0,1],（0,＋∞））,h∈C（[0,1],[0,＋∞））,a,b,c,d∈[0,＋∞）为常数,f∈C（[0,＋∞）,[0,＋∞））,α[u]=∫10u（s）dA（s）,β[u]=∫10u（s）dB（s）,A,B为有界变差函数,λ,μ∈[0,＋∞）为参数.获得了正解存在唯一的充分条件及其关于参数λ和μ的依赖性.     

Integrability near the boundary of the Poisson integral of some singular measures

We consider the Poisson integral u = P＊μ on the half-space R＋^N＋1 （ N 〉 1 ） （or on the unit ball of the complex plane） of some singular measureμ. If μ is an s-measure （0 〈 s 〈 N）, then some sharp estimates of the integration of the harmonic function u near the boundary are given. In particular, we show that fpr p〉1,∫R^Nu^p（x,y）dx- y^-τ （y〉0,τ =（N-s）（p-1） ） （Given for p〉1, RN f 〉 0 and g 〉 0, ＂ f-g ＂ will mean that there exist constants C1 and C2, such that C1f ≤ g ≤ CEf ）.     

关于Diophantine方程x3+1=py2

设p是奇素数．该文证明了：当p=12x^2＋1其中s是奇数,则方程x^3＋1=py^2 元正整数解（x,y）．