标签：只能有（p(x)，错误(x)）=在错误[x]中从p(x)|错误(x)g(x)可以推出（D）