Lukasiewicz p+1值逻辑系统中VDF问题的解决

为在经典逻辑学中建立Fuzzy分离规则的推理模式,由赋值决定公式问题(简称VDF问题)已经提出,并已于二值命题逻辑以及三值Lukasiewicz命题逻辑中得到了解决,但当w＞3时,VDF问题相当复杂且尚未解决.本文完满地解决了当w=p+1(p为素数)时,Lukasiewicz逻辑系统Lp+1中的VDF问题.     

Lukasiewiczlz p＋1值逻辑系统中VDF问题的解决

为在经典逻辑学中建立Fuzzy分离规则的推理模式,由赋值决定公式问题(简称VDF问题)已经提出,并已于二值命题逻辑以及三值Lukasiewicz命题逻辑中得到了解决,但当w＞3时,VDF问题相当复杂且尚未解决.本文完满地解决了当w=p+1(p为素数)时,Lukasiewicz逻辑系统Lp+1中的VDF问题.     

格值一阶逻辑系统LF(X)中带广义量词的不确定性推理

讨论格值一阶逻辑系统LF(X)中带广义量词的不确定性推理规则,和FMP、FMT规则。为研究带广义量词的归结自动推理作准备,也为研究语言值逻辑推理提供一阶逻辑系统的基础平台。     

模糊逻辑系统Luk和L*中理论相容度的计算公式(III)

解决了模糊逻辑系统L*与Luk中理论相容度的计算问题.首先给出了L*中理论相容度的计算公式;然后,引入了逻辑公式的核,理论的核的新概念,从而,得到了模糊逻辑系统Luk中理论相容度的计算公式;最后,给出了理论不相容的两个新的充要条件.     

G(o)del逻辑和L*逻辑中公式的真度分布

研究了G\"{o}del逻辑系统和$L^\ast$逻辑系统中公式的真度的分布情况. 结果表明在G\"{o}del逻辑系统和$L^\ast$逻辑系统中含有$n$个原子命题的公式($n$元公式)的真度集分别为$\{\frac{i}{(n+ 1)!}\vert 0 \le i \le (n + 1)! ,i \in N\}$和$\{\frac{i}{(n + 1)!}\vert 0\le i \le 2^n(n + 1)!,i \in N\}.$ 进而得到了G\"{o}del逻辑系统和$L^\ast$逻辑系统中公式的真度集均为[0,1]上的有理数集. 最后,还给出了两系统中公式的相似度,伪距离的分布情况.     

数形结合求解一类复杂代数式的最值问题

平面内两点间的距离公式是平面解析几何中最基本的公式之一,最近的模考题以及自主招生考题中出现了一类以平面内两点间的距离公式为背景的复杂代数式求最值问题.本文举例说明如何借助两点间的距离公式利用数形结合的数学思想来快速求解这类问题.     

一类问题与n(n+1)/2的特殊姻缘

1 式子n(n+1)/2的产生背景已知:一列数为:1,2,3…,n.求它们的和.     

R~(n+1)中常高阶平均曲率超曲面

本文给出了Rn+1中超曲面的一些积分公式,并利用这些积分公式得到了以球面为边界的常高阶平均曲率超曲面的一些唯一性结果.     

a_(n+1)=p(n)a_n~2+f(n)a_n+r(p(n)≠0)型数列的求解方法

数列问题的背景新颖 ,能力要求高 ,内在联系密切 ,思维方法灵活 ,因此倍受命题者的青睐 .解答数列问题要求熟练掌握数列基础知识 ,灵活运用基本数学思想方法 ,善于转化 .an+1 =p( n) .a2n+ f ( n) .an+ r ( p( n)≠0 )型数列是数列和二次函数、不等式相结合的典范 ,难度较大 .求解此类问题的思维模式是 :观察—归纳—猜想—证明 .求解的主要方法是 :分析法 ,比较法 ,消去法 ,综合法 ,放缩法 ,数学归纳法 .例 1　数列 x1 ,x2 ,… ,由 x1 =12 ,xn+1 =x2n + xn( n =1,2 ,… )给出 ,Sn与 Pn 分别是数列 y1 ,y2 ,y3 ,… ,前 n项的和与积 ,这里 y…     

修正的G(o)del逻辑系统中三类无限子代数及其F(S)的分划

将修正的G(o)del逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统G-中三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G-的三类子代数中分另q给出F(S)关于→同余的一个分划.     

Gainse-Rescher逻辑系统中的一种降级算法及其性质

在Gainse-Rescher逻辑系统^-C，Gr,Sn中的广义矛盾式之间建立了一种降级算法，并讨论了该降级算法的基本性质。主要结果是：在逻辑系统^-Gr(Gr)中，矛盾式不可能由对非矛盾式进行有限次降级算法得到，在逻辑系统Sn中，对任一公式最多次行n-1次降级算法即可得到矛盾式。     

On the Predator-Prey System with Holling-（n ＋ 1） Functional Response

The qualitative properties of a predatorprey system with Holling-（n ＋ 1） functional response and a fairly general growth rate are completely investigated. The necessary and sufficient condition to guarantee the uniqueness of limit cycles is given. Our work extends the previous relevant results in the reference.     

二次系统(Ⅲ)n=0的极限环问题

本文研究了二次系统(Ⅲ)n=0的极限环问题,利用Hopf分支理论,先考察其产生极限环的参数区域,对此外的参数区域,则运用定性分析的方法,分别给出了无环性的证明,并结合文[2]中的一个重要猜测进行讨沦,完善了谢文[5]的结论。     

An Example of two Cardinals that are Equivalent in the n-Order Logic and not Equivalent in the (n + 1)-Order Logic

It is proved that the property of two models to be equivalent in the nth order logic is definable in the (n + 1)th order logic. Basing on this fact, there is given an (nonconstructive) “example” of two n-order equivalent cardinal numbers that are not (n + 1)-order equivalent.     

L*n系统中理论的相对发散度和相对相容度

利用公式的Σr-真度(文中称为相对真度)理论,在模糊命题逻辑系统(L*n)中提出了任意理论Γ相对于特定理论Γ0的相对发散度和ηΓ0-相容度概念.对于有限理论,给出了其相对于特定理论Γ0的δΓ0-相容度概念,并对两种相容度的性质作了初步探究,揭示了二者之间的内在联系.同时给出任意理论Γ相对于特定理论Γ0的相容、不相容及完全相容的定义及其等价刻画.     

一类广义积分integral from n=0 to ∞(((sin(θ_x))/x)~ndx)的计算

利用三角函数幂公式、L′Hospital法则、分部积分公式,得到含有三角函数的第一类广义积分integral from n=0 to ∞(((sin(θ_x))/x)~ndx)的计算公式,其中n≥1且θ≠0.     

关于L2(E+n+1,dxdy/yn+1)中的柱面函数空间的正交直和分解

本文利用小波变换给出了L2(E+n+1,dxdy/yn+1)中的柱面函数空间的一种正交直和分解.在这种分解下定义了Toeplitz-Hankel型算子,得到了类似的Schatten-Von Neumann性质.