修正的RDP逻辑系统中的广义矛盾式

计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (11): 50-54.

修正的RDP逻辑系统中的广义矛盾式

李顺琴，惠小静

延安大学数学与计算机科学学院,陕西延安 716000

出版日期:2015-06-01 发布日期:2015-06-12

Generalized contradictory theory in revised RDP logical system

LI Shunqin, HUI Xiaojing

College of Mathematics and Computer Science, Yan’an University, Yan’an, Shaanxi 716000, China

Online:2015-06-01 Published:2015-06-12

摘要/Abstract

摘要： 讨论了修正的RDP逻辑系统中的广义矛盾式，并对该系统中的广义矛盾式进行了分划；给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。

关键词: 修正的RDP逻辑系统, 广义重言式, 广义矛盾式, 降级算法, 分划

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逻辑系统中的广义矛盾式[J]. 计算机工程与应用, 2015, 51(11): 50-54.

LI Shunqin, HUI Xiaojing. Generalized contradictory theory in revised RDP logical system[J]. Computer Engineering and Applications, 2015, 51(11): 50-54.

[1]	李顺琴，惠小静. Gainse-Rescher系统基于子代数的广义重言式[J]. 计算机工程与应用, 2015, 51(19): 53-55.
[2]	李顺琴，惠小静. 修正的RDP逻辑系统中子代数的广义重言式理论[J]. 计算机工程与应用, 2015, 51(12): 49-52.
[3]	魏海新1，李晨晖2. 修正的G?del系统的子代数中F(S)的分划及升级算法[J]. 计算机工程与应用, 2012, 48(26): 44-47.
[4]	李修清. Gödel逻辑系统中1/2-子代数上的广义重言式理论[J]. 计算机工程与应用, 2011, 47(5): 43-45.
[5]	于鸿丽1，吴洪博2. 逻辑系统RDP中子代数的广义重言式理论[J]. 计算机工程与应用, 2011, 47(32): 47-48.
[6]	李修清，魏海新. R_G-代数的子代数与广义重言式理论[J]. 计算机工程与应用, 2011, 47(29): 49-51.
[7]	李顺琴¹，王国俊². 系统H_α中的子代数的广义重言式理论[J]. 计算机工程与应用, 2010, 46(8): 37-39.
[8]	魏海新. Gödel系统中一类子代数上的广义重言式理论[J]. 计算机工程与应用, 2010, 46(29): 56-57.
[9]	于鸿丽¹，吴洪博². 逻辑系统H_α中广义语义MP规则证明的改进[J]. 计算机工程与应用, 2010, 46(22): 52-53.
[10]	卫利萍,薛占熬,岑枫. Gödel区间值逻辑系统的广义拟重言式[J]. 计算机工程与应用, 2009, 45(6): 57-59.
[11]	魏海新. 修正的Kleene系统中子代数的广义重言式理论[J]. 计算机工程与应用, 2009, 45(22): 32-33.
[12]	李顺琴¹,王国俊². 修正的Gödel逻辑系统中子代数的广义重言式理论[J]. 计算机工程与应用, 2008, 44(36): 58-60.
[13]	马盈仓何华灿薛占熬. 基于零级泛与运算的泛逻辑中的广义重言式理论[J]. 计算机工程与应用, 2007, 43(3期): 16-16.
[14]	田立¹，刘振丙²，刘小茂². 一种改进的线性SVM[J]. 计算机工程与应用, 2007, 43(20): 173-176.