论文研究-修正的RDP逻辑系统中的广义矛盾式.pdf

【文件属性】：

文件名称：论文研究-修正的RDP逻辑系统中的广义矛盾式.pdf

文件大小：522KB

文件格式：PDF

更新时间：2022-09-26 22:53:45

论文研究

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