Los coeficientes de error son ubicuos en los sistemas. En particular, se deben considerar los errores en la verificación del razonamiento en relación con los sistemas críticos para la seguridad. Presentamos un método de razonamiento que se puede aplicar a sistemas descritos por la afirmación de error polinómico (PEA). La relación de implicación entre las PEAs se puede convertir en una relación de inclusión entre los conjuntos cero de las PEAs; las PEAs se transforman luego en lógica polinómica de primer orden. Combinado con el método de eliminación de cuantificadores, basado en la descomposición algebraica cilíndrica, el juicio de la relación de inclusión entre los conjuntos cero de las PEAs se transforma en parámetros de error de juicio y restricciones específicas de coeficientes de error, que se pueden obtener mediante el método de eliminación de cuantificadores. El método de razonamiento propuesto se valida mediante la demostración de los teoremas relacionados. Se proporciona un ejemplo de interceptación de objetos objetivo, y la corrección de nuestro método se prueba a través de casos aleatorios a gran escala. En comparación con los métodos de razonamiento sin semántica de error, nuestro método de razonamiento tiene la ventaja de poder manejar parámetros de error.