【摘 要】
：
从代数不等式的负号运算中,归纳出其否定主词序对和关系谓词而不否定真值词的规律。又从逻辑否定(■)代数不等式的运算中,揭示出其否定量词、质词和真值词而并不否定主词序对
论文部分内容阅读
从代数不等式的负号运算中,归纳出其否定主词序对和关系谓词而不否定真值词的规律。又从逻辑否定(■)代数不等式的运算中,揭示出其否定量词、质词和真值词而并不否定主词序对和关系谓词的规律。由此说明了哥德尔第一不完全性定理对包含了扩充自然数后的形式系统并不适用,从而引进了彻底根治一阶逻辑形式系统不完全性的基于负号(-)而推广的辩证否定算子(～)。
其他文献
综述了分子动力学模拟的基本原理、发展过程及主要应用,介绍了原子间势函数的发展及势参数的确定,给出了分子动力学模拟中相关的有限差分算法、初始条件及边界条件的选取、平
6月30日,美国联邦储备委员会宣布将联邦基金利率上调至1.25％水平。这是美联储四年来经过多次降息之后的首次加息。消息传出之后立刻在国内引起反响,央行是否应该“跟进”加息,
许多医院在新建或扩建的过程中,普遍存在着忽视或不重视医院建筑设计中的医疗流程设计的现象,致使有些医院在医院建成之后,不得不重新去布置调整科室,影响医院整体医疗和经营
对桃源洞国家森林公园森林所具有的改善小气候、改善水质、净化大气、保护生物多样性、改良土壤、防止水土流失、美学功能等主要环境效益进行了系统评价。
<正> 为寻求文学艺术的沃土与灵魂,我向你走来。你,额尔齐斯河,一种人类精神的象征与化身。我告别了对于我母亲般亲切地怀有养育之恩的黑土地,穿越戈壁滩,没有邀请,不是约会,
可译性限度是歌词翻译中译者需要面对的客观现实。在英语歌词汉译中,译者需要让汉语译文在言语信息、文学特征和音乐特征等层面上尽量贴近英语原文,由此译者面临着严苛的可译
<正> 1马勒(G·Mahler 1860～1911)留在我脑子的印象,总是一个身材矮小、面色苍白的样子,有点像漫画中的人物,有点神经质。平日里沉默寡言,却脾气怪戾。不知现实生活中的马勒是
在广州地铁建设中使用冻结工法 ,有成功的经验 ,也有不尽人意的地方。通过对施工的分析 ,总结成功的经验 ,找出问题的症结 ,以更好地完善冻结工法 ,推进冻结工法在广州市政建
近年来,随着我国社会经济的迅速发展,国内市场对能源需求量逐步增加。作为工业血脉的石油经济平稳高速运行中的社会中的较高的地位是无可非议的。为了满足经济发展的需求,石
地方立法权,温州人追求了18年仍未实现的一个梦。温州等一批特色经济城市正希望借助"较大的市"身份,获得其特有的地方性法规和规章制定权,以巩固和提升自己的城市竞争力。他