布尔值相关论文
一、什么是Cookie Cookie是在Web上用于存储客户系统信息的对象。所有的信息都以每行一个Cookie的形式存放在客户端的一个名为coo......
为了改善水雷的技术性能,必须优化水雷配置。实现参数最优化,编制水雷数据集可简化水雷优化配置方法。利用调优策略算法的一种改进......
该文从模糊逻辑的语法和语义着手,扩充到模态词和道义词并建立了相应的逻辑系统,这类逻辑的真值域是Zadeh格。该文还从软代数的定义出发,建......
证明与模态命题系统S2-S4等价的系统P2-P4的布尔值为1,而分别与S1和S5等价的系统P1和P5的布尔值不能确定. 由此,证明了VB是P2-P4的布......
本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻......
本文是为冯·赖特的一元和二元道义逻辑系统DT和DSR以及他1964年对DSR改造后的系统建立布尔值模型.因此,模态词O和P分别表示“应......
ForcingwithProperClassesLiNa(DepartmentofPolitics,HenanUniversdy,Kaifeng,475001)Abstract:Thispaper,usingthemodelRΔ(B)-agenera.........
证明与模态命题系统S2-S4等价的系统P2-P4的布尔值为1,而分别与S1和S5等价的系统P1和P5的布尔值不能确定. 由此,证明了VB是P2-P4的布......
模态公式4、E和B是直观上难以确认是否成立的一类模态公式.文献[6]证明了:在模型(VB,R,ⅡⅡ)下,当R是VB上的任意一个二元关系时,模......
本文为道义模态逻辑D-系统建立布尔值模型. 首先定义道义模态公式○α的布尔值‖○α‖;其次证明在该定义下,道义模态逻辑系统D1、......
证明模态系统P5的协调性.即:证明了模态系统P5的所有公理的布尔值为1.亦即:VB(B是一个完全的布尔代数)是模态命题系统P5的布尔值模......
简介: 随着Internet在中国的迅速发展,不管是大型站点还是个人主页,几乎所有的Webmaster都想有一个漂亮的计数器。目前许多站点如......