和谐性质及其应用Ⅰ

Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw_1w(Q)的公理系统及模型理论。此文证明了主要是对Lw_1w(Q)中的模型存在定理及推演完全性定理。     

L(Q)逻辑的完全理论

对一种附加量词L(Q)逻辑的一些模型论性质进行了讨论 ,用构造性证明方法证明了完全理论T和模型完全的一些等价条件 ,还给出了完全理论T的一种判定定理 ,为今后对L(Q)逻辑模型论做进一步研究提供了理论基础     

(～P(x),(∪.),(∩.),-)逻辑的语义问题

本文得出了在(～P(x),(∪.),(∩.),-)逻辑的语义问题中,标准命题演算系统的每条公理在(～P(x),(∪.),(∩.),-)逻辑中都是模糊恒真的,但标准命题演算系统的定理,在(～P(x),(∪.),(∩.),-)逻辑中却不都是模糊恒真的.     

全抽象事实空间中的单逻辑定理证明

逻辑定理有2种证明方法:逻辑公理系统方法和自然演绎系统方法。对于单逻定理这种逻辑定理,提出一种新的证明方法:在互逆主义逻辑的全抽象事实空间用二层显式归纳复合方法来证明,这种方法形象、直观。     

双线性变换的不变圆

一九五四年二月德拉琴证明了下述定理: 双线性变换 w=(az+b)/(cz+d) (1)有不变圆的必要与充分条件为 ad-bc(?)0及(a+d)~z/(ad-bc)为实数。此外,若这些条件均满足,则有无穷个不变圆,组成共轴组:当a+d=0时,尚须加上其正交组。至於 w=z则为例外情形。这定理中的圆系指圆,其半径为有限数且不为零(称为真圆)或直线而言。德拉琴证明的方法是将z面及w面坐标的原点,分度,方向予以变换,化(1)为典型式     

广义集论基础

提出 N-BGC(13条)公理系统用以刻划广义集、广义类,并研究了广义类的性质和运算,形成了广义集论的雏型.广义集论不仅给出了公理集合论与公理聚合论的统一处理及它们的一个真扩张,而且特殊化后,既保持了朴素集合论、聚合论的基本内容,也消除了文中的“病态”结果.     

哥德尔不完全定理与数学认知的局限性——基于递归论解读哥德尔不完全定理

哥德尔不完全定理揭示了数学认知的局限性,任何一个含有初等数论及一阶谓词逻辑的形式证明系统中,都存在这样的命题,在此(封闭)系统中,依靠系统中的公理及一阶逻辑演算方法,既不能证明该命题为真,也不能证明它为假。哥德尔在定理的证明中开启可计算理论(递归论)之门,用现在成熟递归论的结果重新认识哥德尔不完全定理,使其变得更容易接受。近年来,机器学习取得突破性成果,由此引发有关人工智能是否可以完全代替人的思维能力等热点问题讨论。针对这一问题,如果承认"人工智能"是在一个交互计算系统中完成的,那么哥德尔不完全定理给出的是否定回答。     

百年集论使人犯极荒唐常识错误:0-10~(10)=0——再论形如{1,2,3,…,n,…}一般都有末项

-1+0+0+…=-1凸显无穷级数w必比w+a少一个项。顺藤摸瓜得:无穷多双项组成的{(2n-1,2n)}与{1,{(2n,2n+1)}}不是同一数列;医学不知血有血型就会医死人,数学不知集有奇、偶型之分就会…;变集每增(减)一元都比变化前多(少)了一个元,故无穷集U增元变为U+V=K中的V有多少个元,K就比U多多少个元;有无穷大正整数n=1+1+1+…的项比Q={1,2,…,n,…}的项还要多而>Q的一切n;各级数w都有末项;w发散≠w没有所有项的和;对无穷对象同样有:本身-本身=0;无限循环小数并非有理数。     

(P(x),,,-)逻辑的语义问题

本文得出了在 (P(x) , , ,- )逻辑的语义问题中 ,标准命题演算系统的每条公理在 (P(x) , , ,- )逻辑中都是模糊恒真的 ,但标准命题演算系统的定理 ,在 (P(x) , , ,- )逻辑中却不都是模糊恒真的。     

向前向后法证明一阶逻辑的几个定理

向前向后方法是模型论及其应用研究中的一个很重要的工具．一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性,经典模型论中对这些的证明较为繁难．文中使用向前向后方法,对有限语言下一阶逻辑的内插定理和保持定理等几个定理,给出一种简洁的证明．     

关于Herbrand定理的一个注记

文献[1]所述的Herbrand定理,要求T是一个没有非逻辑公理的理论.本文去掉这个限制,证明了当T为一般的具有非逻辑公理的理论时也有同样的结论.     

基于Vague关系数据模型的数据依赖

基于提出的Vague关系数据模型和Vague集之间的相似度量,研究了Vague关系数据库中的数据依赖问题,给出了Vague函数依赖(VFDs)和Vague多值依赖(VMVDs)的定义及其相应的推理规则.该规则类似于经典关系数据库中函数依赖和多值依赖的Armstrong公理系统,称之为Vague公理系统.并对Vague公理系统的有效性和完备性进行了证明.同时还给出了VFDs满意度的概念及计算VFDs满意度的公式.     

基于可变模糊集的辩证法三大规律数学定理及其应用

数学思维辩证化与哲学规律数学化,是数学与哲学领域中的前沿研究命题.基于可变模糊集理论,率先提出对立统一、质量互变与否定的否定定理.突破了长期未能用严密的数学定理表达唯物辩证法哲学的三大基本规律:对立统一、质量互变与否定的否定规律的难题;并将定理用于水资源系统(含陆海空协同系统)评价,提出水资源系统评价的可变模糊集原理与模型.最后将定理用于识别可拓学(物元分析)的数学与逻辑错误.     

关于拓扑代数的一个定理的注记

书[1]中,曾证明如下的一个定理:凡是T_1-群都是T_2-群.若是把定理的条件放宽,则只要求所考虑的拓扑空间满足通常所谓分离公理T_0就够了.公理T_0 任意两个不同点中至少一个有一个邻域不包含另一点.现在来证明下面定理.定理 凡是T_0-群都是T_2-群.     

利用投影时序逻辑的多内核进程调度建模与验证

针对软件测试无法满足多内核处理器上进程调度的验证需要这一问题,提出利用投影时序逻辑(PTL)的定理证明方法来验证进程调度.使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S,并将系统期望的性质描述为PTL公式P,在PTL公理系统的基础上,通过证明S蕴含P是否为一个定理来验证系统是否具备该性质.以2内核处理器上的多级反馈队列算法的正确性为案例进行检验,结果表明所提方法可验证多内核处理器进程调度的系统性质,保证多内核进程调度的可靠性.由于多内核处理器的进程调度具备了并发系统的主要特点,因此该方法也适用于一般的并发系统验证.     

关于几种逻辑代数定义的等价性讨论

目前常见的《逻辑代数》教材,如文〔1〕〔2〕〔3〕等,在逻辑代数公理化定义的处理上,均不考虑公理的独立性,这样作使得推导其它公式或定理比较方便,实用,但讨论公理的独立性,以加深对基本公理的了解,从而更好地理解逻辑代数的定义,是十分必要的,本文将对几种逻辑代数定义予以讨论,主要结果由定理示之。 首先,在文〔1〕中,将如下六条定律作为公理化定义的基本公理。     

有关迭代函数系统遍历性质的推广

研究无穷迭代函数系统的遍历性质.利用Banach极限原理、Riesz表现定理及数学归纳法,对紧度量空间上无穷迭代函数系统的遍历定理进行推广,得到了无穷迭代函数系统推广的遍历定理.     

QBL-代数及其与BL-代数的等价性

根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征, 将基础逻辑系统BL中的部分公理代数化, 建立一种新的代数结构QBL-代数, 并证明了QBL-代数与BL-代数的等价性, 以两种二元运算,→为基础在一般集合上给出了基础逻辑代数BL的表示定理.     

Jacobi猜想的逻辑化约

提出有关Jacobi猜想的两个命题:A.若Janobi猜想在有理数域Q上成立,则Jacobi猜想在代数域Q上成立.B.对每个正整数对(n,d),存在正整数f(n,d)使得:对每个素数p>f(n,d)及每个特征数p的域K,若多项式映射F:K~n→K~n适合degF≤d且detJ(F)=1,则F可逆.然后用模型论方法证明了定理:“命题A与B成立”等价干“Jacobi猜想对一切特征数0的域成立”.     

随机逻辑的词义问题

得出了在随机逻辑的词义问题中 ,标准命题演算系统的每条公理在随机逻辑中都是模糊恒真的 ,但标准命题演算系统的定理 ,在随机逻辑中却不都是模糊恒真的