原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
50 2015 ，51（11） Computer Engineering and Applications 计算机工程与应用
修正的RDP 逻辑系统中的广义矛盾式
李顺琴，惠小静
LI Shunqin, HUI Xiaojing
延安大学 数学与计算机科学学院,陕西 延安 716000
College of Mathematics and Computer Science, Yan ’an University, Yan ’an, Shaanxi 716000, China
LI Shunqin, HUI Xiaojing. Generalized contradictory theory in revised RDP logical system. Computer Engineering
and Applications, 2015, 51 （11）：50-54.
Abstract ：The theory of generalized contradictory is discussed and divided in revised RDP logical system. A downgrade
algorithm among generalized contradictions in revised RDP logical system is introduced and its properties are discussed.
Key words ：revised RDP logic system; generalized tautology; generalized contradiction; downgrade algorithm; partition
摘 要：讨论了修正的RDP 逻辑系统中的广义矛盾式，并对该系统中的广义矛盾式进行了分划；给出了修正的RDP
逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。
关键词：修正的RDP 逻辑系统；广义重言式；广义矛盾式；降级算法；分划
文献标志码：A 中图分类号：O 141.1 doi ：10.3778/j.issn. 1002-8331.1407-0034
1 引言 型自由代数记作F (S) 。F (S) 中的元素叫公式或命题，
广义重言式理论是逻辑学研究的一个重要方向。 S 中的元素叫原子公式或原子命题。
a Î(0 1) [0 1]
这一研究方向为揭示多值逻辑系统的层次结构，比较不 定义2 设 在 中规定：
同逻辑系统的优劣和运用这些系统进行推理提供了科 x 1 -x
学依据。 Øx x ®0
王国俊教授于1998年在文献[1-3] 中系统地建立了 x Úy max{x y }
修正的Kleene 系统和修正的Kleene 系统中的广义重言 x Ùy min {x y }
式理论，得到了一系列深刻而有趣的结果。随后，很多 0 x y a
[4- 15] T (x y ) {
学者致力于这方面的研究 。吴洪博教授在广义重言 min {x y }其他
式概念的基础上提出了广义矛盾式的概念，并讨论了多 1x y
ì
[4-7]
文档评论（0）