MP*与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性研究

本文基于中介命题逻辑的扩张系统 MP*之命题联结词含量的完全性结果 ,进一步证明了 Lukasiwicz三值逻辑系统 L*3 、Post三值逻辑系统 P*3 、Slupecki三值逻辑系统 S*3 和 Woodruff三值逻辑系统 W*3 等的命题联结词的含量也是完全的 .从而着眼于形式系统 ,可知 MP*、L*3 、P*3 、S*3 、W*3 的语言表达的能力也都是等效的 .又若这些三值系统都是可靠的完备的 ,则可进一步证明这些三值系统立足于形式推理也都是互相等价的 .     

MP与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性 …

本文基于中介命题逻辑的扩张系统ＭＰ之命题联结词含量的完全性结果,进上步证明了Ｌｕｋａｓｉｗｉｃｚ三值逻辑Ｌ３、Ｐｏｓｔ三值逻辑系统Ｐ３、Ｓｌｕｐｅｃｋｉ三值逻辑系统Ｓ３和Ｗｏｏｄｒｕｆｆ三值逻辑系统Ｗ３等的命题联结词的含量也是完全的,从而着眼于形式系统,可知ＭＰ、Ｌ３、Ｐ３、Ｓ３、Ｗ３的语言表达的能力也都是等效的,又若这些三值系统都是可靠的完备的,则可进上步证明这些三值系统立足于形式揄也都是互相等     

中介逻辑命题演算扩张系统MP^＊的完备性

中介命题演算扩张系统MP~*,是在中介命题演算系统MP中增加了一条命题的原始联结词“(?)”而构成的。因此,关于MP~*的完备性,只需在MP的完备性结果上继续讨论。根据原始联结词(?)的意义,在MP的赋值定义中,对命题形式补充如下定义:     

对逻辑联结词再理解

高中数学新教材“简易逻辑”中规定 :“或”、“且”、“非”这些词叫做逻辑联结词 .不含逻辑联结词的命题是简单命题 .由简单命题与逻辑联结词构成的命题是复合命题 .根据以上定义 ,如何解释“方程 (ｘ - 1 )(ｘ - 2 ) =0的根是ｘ =1或ｘ =2”是简单命题还是复合命题呢 ?如果是简单命题 ,那么又怎样对语句中的“或”作解释呢 ?如果是复合命题 ,那么由“方程 (ｘ - 1 )(ｘ - 2 ) =0的根是ｘ =1”是假命题 ,“方程(ｘ - 1 ) (ｘ - 2 ) =0的根是ｘ =2”也是假命题得 :复合命题“方程 (ｘ - 1 ) (ｘ - 2 ) =0的根是ｘ =1或ｘ =2”也是假命题 .…     

中介逻辑演算系统MPN及MFN

为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、～和～的中介逻辑命题演算系统ＭＰＮ和中介逻辑谓词演算系统ＭＦＮ,并证明了ＭＰＮ与ＭＰ＊、ＭＦＮ与ＭＦ＊的表达能力等价。ＭＦＮ将为进一步讨论不完全信息数据库作准备     

简易逻辑学习中常遇问题及其对策

简易逻辑是新教材中新增加的内容，这部分内容主要涉及逻辑学中最基本、最简单的知识，目的是让学生能使用逻辑规划来弄清楚命题之间的逻辑关系．其中逻辑联结词“或”、“且”、“非”及简单命题、复合命题等概念的理解，命题的真假判断与应用，四种命题及其关系，充要条件的概念及两命题间充要关系的判断与证明，不仅是每年高考关注的热点，也是同学们在学习时容易产生误解的地方．[第一段]     

简易逻辑中的错解浅析

在简易逻辑的教学中 ,常因为对逻辑联结词的使用不当而导致一些错解 .本文将就一些常见的错解进行分析 ,供读者参考 .例 1　 ｐ :9的平方根是 3.写出非 ｐ并判断真假 .错解　有人认为非 ｐ是“9的平方根不是 3” .并认为“9的平方根不是 3”是一个假命题 ,从而出现ｐ与非 ｐ均是假命题 .上述解法中存在两个问题 .①非 ｐ的写法不正确 .一个命题的否定并非是在命题的结论前添加否定词就能完成的 .正如文 [1]所指出的那样 ,当命题中含有全称量词或存在量词时 ,命题的否定应对量词作适当的调整 .事实上 ,例 1中的命题 ｐ隐含着全称量词 ,ｐ等价…     

全称命题与特称命题的高频考点扫描

在高中数学新课标教材选修1-1与2-1<常用逻辑用语>一章中,除了以往的"命题及其关系"、"充分条件与必要条件"、"简单的逻辑联结词"之外,还增加了"全称量词与存在量词".     

《关于命题的讨论》一文的一点瑕疵

文 [1 ]旨在对高中新教材中新增加的“简易逻辑”内容进行解释说明 ,对于不熟悉这部分内容的中学师生颇有参考价值 .但是该文中有一点瑕疵 ,今冒昧指出 .文 [1 ]在谈到关于命题的否定与否命题这一问题时认为 :“若ｐ则ｑ”的否定是“若ｐ则非ｑ” .这是一个错误观点 .事实上 ,“若ｐ则ｑ”等价于 (「ｐ)∨ｑ(文 [1 ]在谈到关于逻辑联结词与复合命题时也是这样说的 ) ,其否定应该是ｐ∧ (「ｑ) .ｐ∧ (「ｑ)读作“ｐ且非ｑ” ,习惯上也可以说成“虽然ｐ ,但非ｑ” .“若ｐ则非ｑ”等价于 (「ｐ) ∨ (「ｑ) .当ｐ为假时 ,「ｐ为真 ,于是 (「ｐ…     

加强对命题否定的教学

新教材第一册第一章安排了《简易逻辑》内容，从课本内容安排上看，显得较容易，但是由于对这三个逻辑联结词不能做到正确理解，在解决这部分内容涉及的问题时容易出错，学生在作业中已明显反映出来，有些资料上也出现了错误的理解．本文将对命题的否定作一探讨．     

带非线性边界条件的非线性抛物型方程组

本文讨论带非线性边界条件的抛物型方程组ｕｔ＝Δｕｍ，ｖｔ＝Δｖｍ，ｘ∈Ω，ｔ＞０，ｕｎ＝ｖｐ，ｖｎ＝ｕｑ，ｘ∈Ω，ｔ＞０，ｕ（ｘ，０）＝ｕ０（ｘ）δ＞０，ｖ（ｘ，０）＝ｖ０（ｘ）δ＞０，ｘ∈Ω（Ｉ）解的整体存在性和在有限时刻爆破问题．其中ｍ，ｐ，ｑ＞０，ΩＩＲＮ是有界光滑区域，δ＞０可以充分小．     

线性常微分方程组解的特征数的估计

复数域上线性系统ｘ＝Ａ（ｔ）ｘ，当Ａ（ｔ）＝（ａｉｊ（ｔ））ｎ×ｎ具有（ｎ，Ｎ，ｒ） 差异性质且ｒｎ时，解的特征数ｊ有估计λｊ－ｌｉｍｔ→∞１ｔ∫ｔｔ０Ｒｅａｊ（τ）ｄτｎ－１ｒ＋１－ｎｌｉｍｔ→∞１ｔ∫ｔｔ０Ａ（τ）ｄτ，ｊ＝１，２，…，ｎ，其中Ａ（ｔ）＝ｍａｘ｛｜ａｉｊ（ｔ）｜：ｉ，ｊ＝１，２，…，ｎ，ｉ≠ｊ．｝     

一类可扩充杆横截挠度方程的Cauchy问题

讨论一类刻划可扩充杆横截挠度的非线性双曲型方程utt+A2u+M(x，‖A1/2 u ‖22)Au=0，这里A=-Δ+I，x∈R\+n，Cauchy问题解的存在唯一性，给出了此 方程有唯一局部解的存在定理.文章所给出的结果的适用性要远大于已有的与此问题相关的结论，对此方程非线性 项的假设要比一般的多.事实上，文章的结果是在打破了以前的所有限制而得到的.      

Banach空间的弱*序列紧性

本文研究了Ｂａｎａｃｈ空间的弱序列紧性．Ｂａｎａｃｈ空间Ｘ称为有（ｗ）性质，如果Ｘ（Ｘ的共轭空间）的每个有界序列有弱收敛子列．我们证明了，如果Ｂａｎａｃｈ空间Ｘ有（ｗ）性质，那么ｌｐ（Ｘ）（１≤ｐ＜＋∞）与ｃ０（Ｘ）也有（ｗ）性质．     

两类Cayley的向图的同构问题

证明了对m=1,2,3,有限广义双循环群B(Q8)是m-DCI群当且仅当它的极大交换子群L是m-DCI群且4|-1mm|L|;有限广义二面体群D是m-DCI群当且仅当它的极大交换子群K是m-DCI群且2|-1mm|K|.     

(log,θ)-Calderon-Zygmund算子在H~p中的有界性(英文)

本文我们在条件∫１０θｐ（ｔ）／ｔ１＋ｎ（１－ｐ）ｄｔ＜＋∞下，讨论了（ｌｏｇ，θ）－Ｃａｌｄｅｒóｎ－Ｚｙｇｍｕｎｄ算子在Ｈｐ（Ｒｎ），（０＜ｐ≤１）中的有界性．     

Sobolev Hardy不等式与临界双重调和问题

该文讨论一类带有奇异系数的双重调和方程〖JB({〗△2u-μ[SX(]u[]|x|s[SX)]=f(x,u),\=u=[SX(]u[]ν[SX)]=0,〖JB)〗\ \ 〖JB(〗x∈Ω,x∈Ω,[JB)] 这里ΩRN是包含0的有界光滑区域，u∈H20(Ω)，μ∈R是参数，0≤s≤2，△2=△△表示双重拉普拉斯算子.当f(x,u)=up,p=[SX(]2N[]N-4[SX)]时，上述问题就是一个临界双重调和问题. 该文运用Sobolev Hardy不等式和变分方法，得到它的解的存在性的一些结果.     

蛋白氨基酸衍生化条件的正交试验

孟庆国，张铁垣．蛋白氨基酸衍生化条件的正交试验．数理统计与管理，１９９８，１７（３），４～６．蛋白氨基酸经酯化和酰化两步衍生化之后，才能进行气相色谱分析，影响衍生化程度的因素主要是酯化时间、酯化温度、酰化时间和酰化温度。用正交试验研究了上述四因素对氨基酸衍生化程度的影响，正交表采用Ｌ９（３４），使实验次数由传统实验的８１次减少为９次，实验指标为相对重量校正因子Ｓ′Ｗ（内标物为鸟氨酸）。实验结果表明：对精氨酸、色氨酸和蛋氨酸来说，酰化时间的影响最大，酰化时间越长，对精氨酸和色氨酸的衍生化越有利，而蛋氨酸则正好相反，另外三因素对上述三种氨基酸衍生物的Ｓ′Ｗ影响较小。其余１６种氨基酸的Ｓ′Ｗ在９次实验中变化不大。     

基础模糊命题演算系统BL~*的改进系统

基础模糊命题演算系统BL*是一个和基础命题演算系统BL相对独立的命题演算系统。命题演算系统L*是系统BL*的扩张,但不是系统BL的扩张。通过对系统BL*及其它模糊命题演算系统的研究,本文对BL*系统进行了修正,进一步改进了BL*系统中的公理体系。     

一类Hopfield神经网络系统的全局渐近稳定性

研究变系数具有连续分布时滞的Hopfield神经网络系统Ci(t)dxi/dt=-xi(t)/Ri(t) ∑j=1^nWij(t)fj[∫o^∞kj(s)xj(t-s)ds ] Ii(t)的全局渐近稳定性,获得了一个充分条件。