文件名称:论文研究-修正的RDP逻辑系统中的广义矛盾式.pdf
文件大小:522KB
文件格式:PDF
更新时间:2022-09-26 22:53:45
论文研究
讨论了修正的RDP逻辑系统中的广义矛盾式,并对该系统中的广义矛盾式进行了分划;给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。
文件名称:论文研究-修正的RDP逻辑系统中的广义矛盾式.pdf
文件大小:522KB
文件格式:PDF
更新时间:2022-09-26 22:53:45
论文研究
讨论了修正的RDP逻辑系统中的广义矛盾式,并对该系统中的广义矛盾式进行了分划;给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。