论文部分内容阅读
模态公式4、E和B是直观上难以确认是否成立的一类模态公式.文献[6]证明了:在模型(VB,R,ⅡⅡ)下,当R是VB上的任意一个二元关系时,模态公式4、E和B的布尔值不能确定.本文证明:当R是VB上自返的二元关系时,模态公式4、E和B的布尔值为1.因此,模态系统S4、S5和B是协调的.
关于模态命题公式4、E和B的布尔值
【摘 要】
：
模态公式4、E和B是直观上难以确认是否成立的一类模态公式.文献[6]证明了:在模型(VB,R,ⅡⅡ)下,当R是VB上的任意一个二元关系时,模态公式4、E和B的布尔值不能确定.本文证明:
【机 构】
：
南开大学哲学系
【出 处】
：
河南大学学报：自然科学版
【发表日期】
：
2003年4期
【基金项目】
：
全国普通高等学校社会科学重点研究基地基金
其他文献
芝麻蜜甜瓜果味浓郁,香脆可口,深受市场消费者的欢迎。芝麻蜜甜瓜由于气候技术条件的限制,过去只能在东北地区栽培,随着陕西省绥德县日光温室的建立和农技推广人员的技术推广
<正> 壮秧剂是一种新型高效药剂,广泛应用于早育秧。为了配合全国农技总站的推广,我们近几年在旱育抛秧上研究了壮秧剂的应用。壮秧剂的应用效果1.使用壮秧剂,能育成矮健、多
高动态性是P2P系统的一个重要特性,节点可以在任何时间加入和离开系统,频繁地加入和离开行为必然极大地增长DHT系统的维护开销.为了减少这种开销,设计了一个新的迭代加入算法
水稻赤斑黑沫蝉又称稻沫蝉,是南方丘陵、山区水稻的重要害虫。它以若虫,成虫吸食稻株茎叶汁液,使受害水稻减产16％～42％,严重时可减产50％以上。一、发生危害特点稻沫蝉若虫期(1～5龄)
房屋的楼层信息是南方CASS软件定义的扩展属性数据,文章以AutoLISP语言为工具,针对CASS楼层扩展属性编写LISP程序,实现了计算机智能识别并自动添加房屋楼层信息,在一定程度上减少人工逐个添加的工作量。
红河州是茶叶生产的原产地之一,有适宜茶叶植物的优势自然条件和十分丰富的土地资源.当前,人民群众追求更高的生活质量和水平,对茶叶的品质越来越讲究,茶叶的绿色化种植势在
<正>笔者一直供职于一家国有勘察设计企业,从事人力资源管理工作。人力资源管理中的招聘是"选、用、育、留"四环节的首要突破口,是人力资源开发和管理的基础。勘察设计企业的
采用了一种基于潮流解的可行性而提出的电压稳定性指标,用它可以很方便地计算出各节点的电压稳定性指标值,从而找到最容易发生电压崩溃的节点.在进行分析时,采用了组合负荷模