- 1、本文档共4页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
(L)ukasiewicz命题逻辑系统中有限命题集的约简理论.pdf
44 and
2009.45(7) EngineeringApplications计算机工程与应用
Compu抛r
李立峰,张建科,冯锋
LI Jian—ke,FENG
Li-feng,ZHANG Feng
西安邮电学院应用数理系,西安710121
InstituteofPostsand
of Mathematicsand Telecommunications,Xi’an710121,China
DepartmentApplied Physics,Xi’an
Email:hlwl2—12@sohu.coin
LI Jian-ke,FENG offinite setinLuimsiewicz logic.
Li-feng,ZHANG Feng.Reductiontheory proposition propositional
and
ComputerEngineeringApplications,2009,45(7):州5.
F-reductionin n-valuedLukasiewiez is formalcontextofthe
Abstract:Theof logicintroduced,the
theory propositional
set11 is introducedand todeterminetheF—reductionarestudied the
ways
propositional investigated.Several byinvestigating
betweenFandtheirsubsets.Thereductionof setFinEukasiewiczinfinitevalued Canbereduced
relationship propositional logic
Lukasiewiez
ton-valued propositionallogic.
context
words:Lukasiewicz theorem;F-reduction;formal
Key propositionallogic;complete
摘要:在n
集r的约简可转化为n值情形。
关键阔:Lukasiewicz命题逻辑;完备性定理;r约简;形式背景
文章编号:1002-8331(2009)07-0044-02文献标识码:A 中网分类号:0142
DOI:10.37780.issn.1002—8331.2009.07.014
在命题逻辑中,如果给定命题集r,用D(F)表示全体r结
论之集,D(F)的复杂程度跟有着密切的关系,因此在计算D(r)
之前先对F集进行约简,即删掉r集中的在计算D(r)时无用
的公式就显得十分必要。正因为如此,有关命题集约简理论的
命题逻辑系统,记为£。。
研究成为一个热点问题11-s1。文献『1—31主要是从命题逻辑语构
的角度出发讨论了命题逻辑与非单调逻辑中理论的约简以及 定义3设A∈只S),FC武S),a∈k
计算复杂性等问题,文献『4】也是从语构角度在模糊命题逻辑r (1)从州s)到厶的同态映射称为己。赋值,全体£。赋值的
中提出了独立命题集的概念,定义了命题集的约简并讨论了有 集合简记为
您可能关注的文档
- (2+1)维非线性发展方程的非经典李点对称和精确解.pdf
- (20集电视连续剧)喜醋(分集梗概).pdf
- (3+1)维Burgers系统的新精确解及其特殊孤子结构.pdf
- (CnH2n+1NH3)2MnCl4(n=2,4,6,8,10,12)的合成与结构.pdf
- (E)-3-(2-呋喃基)丙烯酸的合成与晶体结构.pdf
- (G'G)-展开方法求Cahn-Allen方程的行波解.pdf
- (G'G,1G)-展开法在求解非线性演化方程中的应用.pdf
- (GaN)n(AlN)n应变层超晶格的电子结构.pdf
- (IGa-Exp)模型下二行动线性决策问题的抽样信息期望值.pdf
- (LO)BG的两种分解.pdf
- 英语人教PEP版八年级(上册)Unit4+writing+写作.pptx
- 人美版美术四年级(上册)8 笔的世界 课件 (1).pptx
- 人美版美术七年级(上册)龙的制作.pptx
- 英语人教PEP版六年级(上册)Unit 2 第一课时.pptx
- 数学苏教版三年级(上册)3.3 长方形和正方形周长的计算 苏教版(共12张PPT).pptx
- 音乐人教版八年级(上册)青春舞曲 课件2.pptx
- 音乐人教版四年级(上册) 第一单元 音乐知识 附点四分音符|人教版.pptx
- 英语人教PEP版四年级(上册)Unit 6 Part B let's learn 1.pptx
- 道德与法治人教版二年级(上册)课件-3.11大家排好队部编版(共18张PPT).pptx
- 人美版美术七年级(上册)《黄山天下奇》课件1.pptx
文档评论(0)