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

作者：李顺琴; 惠小静

来源：计算机工程与应用, 2015, 51(11): 50-54.

• 修正的RDP逻辑系统
• 广义重言式
• 广义矛盾式
• 降级算法
• 分划

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