【摘 要】
:
将2-值命题逻辑的语义理论推广到了有限布尔代数,得到了2n-布尔值命题逻辑。同时本文给出了2n-布尔值命题逻辑应用的一些例子。
【基金项目】
:
国家自然科学基金资助项目(11171196)
论文部分内容阅读
将2-值命题逻辑的语义理论推广到了有限布尔代数,得到了2n-布尔值命题逻辑。同时本文给出了2n-布尔值命题逻辑应用的一些例子。
其他文献
巢湖流域是远古人类重要的活动区域,也是文化兴替频繁的地方。自新石器时代以来,巢湖流域的人们对自然环境的利用体现了很高的智慧,创造出了灿烂的文明。探讨该区域全新世早
<正>一、货币时间价值产生的来源货币时间价值,是指一定量资金在下同时点上的价值量的差额。众所周知,在市场经济条件下,即使不存在通货膨胀,等量资金在下同时点上的价值量也
在经济全球化的今天,税收法制观念深入人心,税收筹划特别是企业所得税的筹划具有普遍意义,尤其是当税收的征纳关系跨越了国界时,这类活动的意义就显得更为突出。我国加入WTO
贵族议事会是雅典民主政体中一个非常重要的政治机构,在雅典民主政治建立之前就已经存在了,贵族议事会的组成和职能在雅典民主政治的发展过程中也不断的发生变化.因此深入研
以MCM-41为代表的介孔分子筛材料在催化裂化、烷基化和异构化等炼油工业重要的催化反应上具有潜在的应用前景,但其较弱的酸性和较差的水热稳定性无法满足这些过程对催化剂酸
玉米淀粉作为一种重要的工业原料,应用广泛,前景广阔。因此,玉米淀粉的污水设计也就显得尤为重要。本文根据废水的来源及特点,并结合目前国内淀粉废水处理工艺和循环利用情况
贫困作为一个社会问题一直受到我国政府的重视,从建国以来我国的扶贫工作不断跟随经济、社会发展的脚步逐步深入:从开发式扶贫转向综合性扶贫,从综合性扶贫转向“一体两翼”驱动扶贫,几十年的扶贫工作取得巨大的成功。但随着我国经济、政治、文化的不断发展,以往的粗放型救济式扶贫理念已经不适用于我国的扶贫要求,因此2013年习近平主席首次提出精准扶贫的战略思想,之后又在2015年举办的减贫与发展高层论坛中指出,最
工程技术变更贯穿于整个工程项目。由于设计缺陷、建设单位更改项目功能、承包方提出变更、合同以外新增项目等原因,增加了施工过程中技术变更的数量。当前,缺少工程变更的规
[目的]采取刮痧疗法对感染后咳嗽患者风寒恋肺证进行临床干预,观察刮痧疗法治疗感染后咳嗽风寒恋肺证对患者的症状、临床疗效、生活质量和痰上清液中P物质(Substance P in sp