共查询到20条相似文献,搜索用时 93 毫秒
1.
无穷积分存在与Cauchy主值存在是不等价的。无穷积分存在时,Cauchy主值存在且等于积分值,但Cauchy主值存在时,积分值不一定存在。在复变函数中,在无穷积分存在的前提下,运用留数定理求出无穷积分的Cauchy主值,从而得出积分值。如果不能确定无穷积分值存在,用留数定理求出无穷积分的办法是有不足之处的。文章导出了一个实用结论并给出实例。 相似文献
2.
童季贤 《内江师范学院学报》1989,(Z2)
本文给出了幂函数W=t~a的无穷多值的分布定理.定理1给出了在a为无理数时,无穷多值是稠密地分布在圆周上.定理2指出了在a为纯虚数时,无穷多值是孤立点集并分布在射线上;而在a为复数(非实数)时,其无穷多值分布在对数螺线上. 相似文献
3.
于鸿丽 《西安文理学院学报》2008,11(3):36-39
系统Hα是一个带有参数的系统,将参数α赋予不同的值,将会得到不同的多值逻辑系统.借助子代数理论,研究了多值逻辑系统Hα中的重言式分类定理,为系统Hα的进一步研究奠定了基础. 相似文献
4.
杨红玉 《信阳师范学院学报(哲学社会科学版)》2012,32(4):17-20
三值逻辑是20世纪20年代以来发展起来的一种非经典逻辑系统,蒯因对其持批评的态度。蒯因反对三值逻辑的原因有三:一是有些三值逻辑系统建立在错误认识之上;二是有些三值逻辑所关注的问题可以在经典逻辑中得到解决;三是有些三值逻辑系统的建立并不能解决其想解决的问题。蒯因所批评的仅是三值逻辑中违反排中律的部分系统,而非全部,这体现了蒯因关于逻辑真之观念。 相似文献
5.
卞拓蒙 《中山大学学报论丛》2010,3(1)
一般认为,标准量子力学需要使用一套它自己的逻辑系统,即量子逻辑.量子逻辑采用与一般逻辑系统不同的语义规则,因此和古典逻辑无法兼容.此篇文章将呈现一套量子力学的严格形式基础,它是对古典二值逻辑之保守扩充;保守扩充意指比原先之逻辑系统强,但较强的原因为它有较多之词汇.此套逻辑为三值逻辑.古典逻辑中为真的句子仍然为真.古典逻辑中为假的句子将被区分为强性假与中性.第三个真值-中性-考虑了非本征态情况中之观察句.本文详列了物理的公理并显示它们具有一个模型.此提案的可行性说明了量子逻辑是不必要的,并且存在一个共同的逻辑架构可提供给数学、非量子物理及量子力学使用. 相似文献
6.
张申贵 《语数外学习(高中版)》2006,(1)
该文利用喷泉定理研究了一类超二次Hamilton系统,我们在不需假设Ambrosetti-Rabinowitz条件的情形下,得到了无穷多周期解的存在性. 相似文献
7.
万小龙 《华中科技大学学报(社会科学版)》2012,26(3):33-39
狭义函数相对论基本原理:对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp,无论Hp是否为p的真值函数,它总会等值于p和独立于p的另一二真值变量q所形成的一个真值函数。由于有且仅有16个二真值二元函数式和有且仅有16个相应的基本二真值二元函数,所以有且仅有16个一元算符和有且仅有16个相应的基本二真值一元非函数。其他的二真值一元非函数由且仅由这16个一元算符叠置所形成。那么可进一步认为现代模态逻辑公理其实是按一阶逻辑对经典二真值函数做分类研究。模态命题逻辑中任一可能世界集W仅对应一组二元真值函数,相应的可能世界间的关系R就是这组函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数(式)按K-2分别依次代入该公理模式中的每一个"□",使得形成一组经典定理。 相似文献
8.
文章在扩展博弈上,给出了多值逻辑的语义赋值博弈的一般框架,避免了博弈者在多值逻辑的语义博弈中声明无穷对象的问题;然后通过Eloise赢的策略定义博弈的语义概念--赋值.证明了多值逻辑的博弈语义与Tarski语义是等价的;最后,根据语义赋值博弈框架对经典逻辑进行了博弈化. 相似文献
9.
10.
张申贵 《宁夏师范学院学报》2012,33(6)
吊桥耦合系统是一类比较重要的微分方程模型.利用临界点理论研究超二次吊桥耦合系统无穷多解的存在性.在不需假设Ambrosetti-Rabinowitz超二次条件的情形下,得到了吊桥耦合系统无穷多解存在的充分条件. 相似文献
11.
董英东 《毕节师范高等专科学校学报》2014,(8):1-7
每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译为S5的线性翻译方法。 相似文献
12.
每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译为S5的线性翻译方法。 相似文献
13.
14.
多值逻辑的起源、特性及其给辩证逻辑的启示 总被引:2,自引:0,他引:2
经典逻辑是二值的,换句话说,它只有真、假两个真值。从亚里士多德(在中国古代还有墨子)首创的传统逻辑到弗雷格、罗素的数理逻辑,经典逻辑的二值性质并没有改变。 相似文献
15.
万小龙 《淮阴师范学院学报(哲学社会科学版)》2012,(3):322-326,420
现代模态逻辑其实是按一阶逻辑公理和规则对经典真值函数做分类研究。模态命题逻辑中任一个可能世界集W仅表示与某一公理模式相应的一组二真值函数,相应的可能世界间的关系R就是这组真值函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数式按K-2分别依次代入该公理模式中的每一个"□",使得形成一组经典定理。 相似文献
16.
数学基础理论中的千古悬案——科学哲学——芝诺悖论、贝克莱悖论和罗素悖论新解 总被引:5,自引:5,他引:0
欧阳耿 《喀什师范学院学报》2009,30(6):30-36
结合新发现的经典无穷观和与之相关的经典数量体系中所存在的缺陷,从基础理论学的新思路,分析、揭示了悬而未决的芝诺悖论、贝克莱悖论和罗素悖论这三大悖论家族所暴露的自古以来就存在于数学基础理论中与“有穷-无穷”概念相关内容的缺陷,并认为,自古以来由于受“重形式-轻本体”这种错误思路的影响,数学与科学哲学基础理论中与“有穷-无穷”概念相关的那部分内容非常薄弱,导致了三大悖论家族的产生与不断繁荣壮大,使人们无法真正认清这三大悖论的本质,从而决定了由它们所揭示的问题在现有科学理论体系中一直无法得到解决. 相似文献
17.
利用临界点理论研究非自治Hamilton系统周期解的存在性.在具有超线性增长非线性项时,根据对称山路定理,得到了系统无穷多个周期解存在的充分条件. 相似文献
18.
高弓越软学统编教材第四册《极限》部分在证明公式lim5 1 nX 劣二1,用了这样一条定理:如果存在无穷数列{x。}、{y。卜、笼:。}满足:(1),。《x。《:.(2)1 im;==a,则有limx,二。(九二1,2,3..一)lim“。二a(a为常数) 这条定理没有作证明,因为定理的证明分超出了中学数学的范围(编者按:请参阅本刊1984年第2期欧述芳《数列极限的夹挤定理的证明》一文),有的书上称此定理为:《夹值定理》。教材上举了一例说明了上述定理的含义与应用。题目是这样的:对于通项分别为1,了1十青的三个无穷数列,显然有:今1+青<1十青(n〔N),,ni咒(1+青)二 /丁f 1王m‘11… 相似文献
19.
1959年,W.K.Hayman在[1]中曾得到定理A 设f(z)于开平面超越亚纯,n≥5为整数,a≠0,∞,则f′(z)-af(z)~2取所有有穷复数b无穷多次.定理B 设f(z)于开平面超越亚纯,n≥3为整数,则f′(z)f(z)~2取任意有穷复数a≠0无穷多次.本文利用与杨乐在[2]中所使用的类似方法,对上述两个定理进行了改进,得到 相似文献
20.
丹尼尔·孟迪奇 《中山大学学报论丛》2008,1(2)
真值在最初的时候只有一个.为了更好地把握"真"这个真值,才引入了真值"假".在数学推理中,有这两个真值就足够了:因为处理数学句子只需使用一阶逻辑中的二值语义和证明论.然而当我们获得的信息不完全准确、有部分错误甚至被扭曲时,这两个经典的真值就不足以灵活地表达和处理我们的知识.我们将首先分析卢卡西维茨的无穷值逻辑在处理Rényi-Ulam问题时所起的作用."二十问"游戏中的信息流遵守布尔逻辑的规则,相比起来,该游戏的Rényi-Ulam变异所产生的回答却可能是错误的,对同一个问题重复提问得到的两个相同的回答所产生的信息,要多于仅仅只回答一次时得到的信息:幂等律A&A=A不再成立.这个游戏中的回答遵守卢卡西维茨的无穷值逻辑.这一逻辑在处理连续事件的融贯概率估计方面具有普遍的意义,它能够推广处理yes-no事件(即在任一可能世界中,要么发生要么不发生的那些事件)的菲尼蒂概率理论.假定事件集E={X1…,Xn)等于某布尔代数F上的一组元素,菲尼蒂证明了,定义在E上的映射p是"融贯的"当且仅当它可以延拓到F的概率测度上.p的融贯性意味着,如果一个赌徒A把概率度p(Xi)分配给每个事件Xi,他的对手B不可能迫使他下注,使得B确保在每个可能世界中都赌赢.菲尼蒂利用他提出的融贯性标准,得出了概率论的柯尔莫哥洛夫公理.使用卢卡西维茨逻辑,我们把菲尼蒂理论推广到测度值为实数区间[0,1]的那些事件上.只要经过恰当的规范化,这类事件的例子就是大量地、或显或隐地存在于我们日常生活的打赌之中. 相似文献