Lukasiewicz命题逻辑系统中的赋值决定公式问题

来源 :陕西师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:jojo0911216779
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了在经典逻辑学中建立Fuzzy分离规则的推理模式,Zadeh提出了赋值决定公式问题(VDF问题),并已于二值命题逻辑以及Lukasiewicz三值和p+1值命题逻辑中得到解决.文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论,首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件,其次构造性地解决了Ln、La和Lc中的VDF问题.
其他文献
儿童急性肾小球肾炎大多是急性链球菌感染后肾小球1肾炎(acute poststr-eptococcal glomeruloneph ritis,APSGN),临床比较常见,但以抽搐为首发症状且不伴水肿、少尿者少见,现
1病例资料[例1]男,66岁.因反复腹胀1年,加重伴腹痛3天入院.
1病例资料女,37岁.11天前因停经40天在某院查尿妊娠试验阳性,妇科检查未发现明显异常,B超检查子宫、附件未见异常,在该院行人工流产术.术后第9天感下腹阵发性疼痛,在该院复诊