摘要:我们在错误的定义、错误集、错误逻辑、错误系统等理论的基础上,依据消、避错方法可知,消除错误需要使实际问题从有错误的状态变换到期望的状态,且许多错误可以通过变换论域而被消除。因此,本文系统地研究论域分解、相似、增加、置换、毁灭,综合变换等6种变换的变换方式、规律。并得到一条论域变换的定理。定理 设U是论域,G是U上的一组规则,若U1(U-)U,U2(U-)U,U1(U-)U2,且 C1={((u,x)I u∈ul,x=f(u,G),x∈A}, C2={((u,x)I u∈U2,x=f(u,G),x∈B},a=infA,b=supA,c=infB,d=supB, 则有a≤c,d≥b,其中A={x|(u,x)∈C1} B={X|(u,x)∈C2}。