Goedel系统中由一个或两个原子生成的公式的真值函数的特征

来源 :模糊系统与数学 | 被引量 : 0次 | 上传用户:lxkef
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在Goedel系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类。
其他文献
用灰色理论分析了交通运输问题,建立了相应的数学模型,并进行了分析。
<正> 水工建筑物混凝土浇筑时,为了保证其整体性良好,每个结构构件最好一次浇筑完毕,中间不停歇。如果因构件混凝土量大,中间需要停歇,停歇的时间应尽量缩短,应在前层混凝土
绥滨县地处黑龙江、松花江两江汇合处的三角洲上,县境内无山少林,地势平坦低洼。每逢汛期,腹背受敌。特别是’98特大洪水,由于现有堤防标准不高,大水来时,四处告急,险象环生。
电度表、煤气表、水表、热量表等计量器具,是一类使用量大面广的贸易结算用计量器具,其计量性能准确与否关系到经营者和消费者双方的切身利益.由于历史的原因,这类计量器具的
在原煤中掺入适量的石灰石和外加剂于煤粉锅炉或沸腾锅炉内燃烧,均可以成功地生产425号水泥,且可以保证电厂锅炉出力正常,安全稳定运行,不影响锅炉使寿命,具有显著的经济效益和社会效
黑龙江省水环境监测工作开始于1959年,当初,仅在哈尔滨、齐齐哈尔、佳木斯水文分站建立了水质分析化验室。80年代后,相继成立了牡丹江、伊春、绥化水文大队化验室。水质监测站网逐
本文由机床传动系统中,受力变化大的变速组常采用不同模数的齿轮,当中心距一定时,则两对齿轮的齿数和不等,这时确定各齿轮齿数就很麻烦,特提出用计算机求齿数的方法。