一个多值逻辑的一阶谓词系统

鞠实儿曾提出一个开放类三值命题逻辑系统,这一逻辑也可以推广到任意m值逻辑情形,成为一个联结词函数完全的逻辑.本文将对推广的命题逻辑系统L*建立一种一阶谓词系统,并证明其可靠性、完全性.     

斯多葛学派的命题逻辑系统及其不完全性

斯多葛学派是古希腊在逻辑上可以跟亚里士多德逻辑相媲美的学派。他们所建立的命题逻辑系统是运用自然推理的方法 ,把命题逻辑加以形式化 ,是最早的一个自然推理系统。该派认为 ,运用他们的命题逻辑系统中的 5个不可证式作为基本推理规则 ,借助 4个元逻辑规则 ,可以推论出命题逻辑系统的全部正确的推理形式。但从现代逻辑的角度来考察斯多葛学派命题逻辑系统 ,却发现它是一个不完全的系统。     

关于正规模态命题逻辑系统的完全性证明

;模态逻辑的完全性理论至今已经有了很大发展,其证明通常也是逻辑研究中重要且极其困难的一环.从简单的证明命题逻辑有效性的真值表、归谬法的思想出发到反模型的建立;从最早证明模态逻辑系统的Kripke-语义图的出现到Hughes and Gresswell对Kripke-语义图的修正;从L.Henkin极大一致集的提出到从属模型和典范模型的建立;从典范模型的广泛使用到Bull有限模型的建立无不体现了这一点.对正规模态逻辑系统完全性证明的层层刨析,可以更好地把握和使用完全性证明方法.     

Lukasiewicz系统中反向三I算法的形式解

通过一个F（S）上的预序,提出了反向MP问题,多重反向MP问题以及反向MT问题,多重反向MT问题．在Lukasiewicz命题逻辑系统中讨论并得到了以上问题的解,说明了在某种意义下,这些解和反向三I算法的结果一致,从而在Lukasiewicz逻辑系统中实现了反向三I算法的形式化推理机制．     

命题逻辑与数学证明方法（Ⅰ）

简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统,内容包括命题逻辑．     

协调、一致与一阶公理系统的强完全性

在公理系统中演绎定理是连接一致性和协调性的桥梁.对于带演绎定理的公理系统,可以证明公式集的一致性和协调性是等价的.在不带演绎定理的一阶公理系统中,一致性和协调性的差异集中体现在强完全性证明过程中.基于一致性的证明不依赖演绎定理,但基于协调性的强完全性证明多处受演绎定理束缚.文中将给出一个松绑方案,基于协调性上证明一阶公理系统QC1的强完全性.     

掀起MP4的盖头来

MP3问世不久,就凭着较高的压缩比和较好的音质创造了一个全新的音乐领域。然而,MP3的开放性却最终不可避免地导致了版权之争。在这样的背景下,文件更小、音质更佳,同时还能有效保护版权的MP4就应运而生了。然而MP4与MP3之间其实并没有必然的联系。MP4并非MPEG*4或者MPEG-     

古典命题逻辑与模态命题逻辑的自然推理系统之比较

模态命题逻辑的自然推理系统T^N、S4^N、S5^N与古典命题逻辑的自然推理系统P^N相比：形式语言有了扩张;推理规则增多,且相同推理规则的作用范围扩大;推出的定理数量增多;推理能力大大增强。     

数理逻辑与数字电路设计优化

数理逻辑就是精确化、数学化的形式逻辑.它是现代计算机技术的基础.数理逻辑包括两个最基本的组成部分,就是"命题逻辑"和"一阶谓词逻辑".其中命题逻辑又被称为二值逻辑,它的运算特点同电路设计中的开与关、高电位与低电位等现象完全一样,都只有"0"、"1"两种不同的状态,因此,它在电路设计分析中有着广泛而重要的应用.     

知识蕴涵模态逻辑系统

使用经典逻辑对海量知识系统进行分析处理和信息挖掘,需要解决的关键问题之一就是司各脱法则问题.基于对蕴涵的一般认识,可以对司各脱法则问题提出一种不同于已有逻辑系统的解决策略.在根据这种策略而建立的知识蕴涵命题逻辑系统中:1.蕴涵关系符合直觉;2.经典逻辑中基本的逻辑规律在该系统中得以保留;3.不改变经典否定、合取的性质;4.司各脱法则不成立.在知识蕴涵命题逻辑的基础上,构建了一个知识蕴涵模态命题逻辑系统,它可以描述包含模态信息的不协调知识系统的推理机制.根据给出的形式语义,证明了该系统的可靠性和完全性,并且证明了严格蕴涵悖论在该系统中不会出现.     

二值命题逻辑中Г-的蕴涵距离和近似推理

以基本真度为基础,引入二值命题逻辑系统中基于前提信息Г的公式A到B的蕴涵度概念,由此定义了公式A到B的Г-蕴涵距离,并通过Г-蕴涵距离的基本真度表示式,对二值命题逻辑中基于前提信息的近似推理问题进行讨论．     

联合演算何以可能

一无谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征。亚氏逻辑与命题逻辑一样，都是二值逻辑。三段论蕴涵式比命题蕴涵式复杂，它表示一种特殊的蕴涵关系。希尔柏脱和阿克曼认为，对命题演算符号可作谓词演算的解释，也可作类演算的解释。通过对谓词的新解释，可以在命题演算、谓词演算与类演算之间建立起完全的类比，从而把传统推理的有些形式作现代逻辑的处理。这一联合演算思想虽未发育成熟，却能够为我们全面、深入地理解词项逻辑、谓词逻辑、类逻辑和命题逻辑之间的关系，特别是传统逻辑与现代逻辑的关系开辟广阔的空间。     

模态逻辑中的三值逻辑

每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译为S5的线性翻译方法。     

英语专业新生认知中介系统与词汇习得能力的相关研究

笔者在调查的基础上努力探索真正影响英语词汇习得能力的主要因素,并通过对这些因素的分析得出结论:词汇习得模式,词汇习得技巧只是外在的条件,真正影响词汇习得能力的是主体的认知中介系统,它包括知识结构,能力结构。主体的中介系统越丰厚、越完善,其认知水平则越高,习得能力越强。同时本文探讨了知识结构,能力结构的内涵因素及它们作为中介手段如何相互作用而影响词汇习得能力。     

模态逻辑中的三值逻辑

每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译为S5的线性翻译方法。     

2006时尚MP4排行榜 炫听时代

2006年对于众多MP4产品来讲是喜忧参半的一年。喜的是市场在不断地发展壮大,不仅MP3厂商争先进入这个市场,就连许多初涉数码产品的厂家也将MP4作为他们的第一桶金;忧的是MP4并没有像预言家说的那样将MP3完全取代,两者之间反而表现出和谐共存、互融共通的现象——MP3开始重视视频功能,MP4也在往多功能方向发展。《课堂内外》结合了2006最流行的时尚元素,为广大读者奉献上这期排行榜,看看有没有大家心仪的款式呢?     

动态逻辑的强完全性和不协调性

动态逻辑的证明系统揭示了典范模型的一些比较特殊的特征,即程序的不协调性。在标准的模态逻辑证明系统中,真值引理指在典范模型的世界里真的公式集．正好是由这些公式所组成的极大一致集,该公式集是由哪个世界来识别的,称之为公式协调性,相对于程序来说就称为程序协调性。使用协调的原因在于当公理和程序都是协调的时候,典范模型的语义和证明理论是完全一致的。在此给出了无穷的动态逻辑的证明系统,即命题动态逻辑的一个强完全性的证明系统．是相对比较简单的系统,这使得证明也相对比较简单,但却可以很容易地扩张为其它的模态逻辑。同时证明了该典范模型不是程序协调的．而是公式协调的。     

终身教育——教育权利完全性的展现

终身教育是教育完整性的表现,体现了教育的全过程,体现着教育权利的完全性。教育权利的完全性命题是得之于公民的生存权和发展权。从生存权和发展权着手理解,认为教育权利是生存权的工具性范畴,因生存权是人的生命得以延续的权利。生命的终身性,决定了教育权利的终身性,也只有终身性教育权利,才可谓完全性的教育权利。从发展权所体现的时间、空间层面以及过程性、连续性特征上,进一步明确教育权利的完全实现,是以人的自我发展、自我完善为归结的。     

氧原子与二氧化氮反应机理的量子化学研究

用量子化学从头计算方法，在MP2／6—311G^*水平研究了氧原子与二氧化氮反应机理，优化了反应物、产物、中间体和过渡态的几何结构，用QCISD(T)／6—311G^*方法计算能量，同时进行零点能校正。研究结果表明，氧原子与二氧化氮之间有较强的反应活性。     

关于弱*局部完全K凸空间

文[1]引入了弱局部完全K凸和弱~*局部完全K凸空间。文[2]研究了在弱局部完全K凸空间中度量投影的连续性问题。本文主要研究了在弱~*局部完全K凸空间中度量投影连续性问题。证明了弱~*局部完全K凸性蕴含严格凸性。从而推广了文[1]一个结果。