El método de abducción es un método general que parte de la conclusión. Supongamos que desea probar una proposición, si A entonces B, es decir, A=gt. Cuando la relación entre la condición A; La proposición y la conclusión son más complicadas. Cuando se deduce directamente de la condición conocida A, a veces la dirección se pierde en el medio, lo que dificulta continuar con el razonamiento. En este caso, se utiliza el método de deducción inversa de "sostener la causa y la causa". efecto".
Específicamente, suponga que se establece la conclusión B y luego use la conclusión como condición para ver qué resultados se pueden inferir inversamente. Suponga que la conclusión C se puede inferir de B (que es, B=gt; C), y luego verifique si B y C son reversibles (es decir, si C=gt;B), si es reversible, es decir, Blt;=gt;C. obtenerse de C. Si se puede concluir que Clt;=gt;D, entonces continúe y así sucesivamente . ; = gt; H.
Cuando encontramos que A=gt; H se puede demostrar fácilmente, entonces tenemos A=gt; De esta manera, podemos obtener A=gt; B. La proposición original está probada.
Por ejemplo:
p>Supongamos que a y b son números reales positivos y 2cgt; b Verifique: c - bajo el signo raíz (c^2 - ab) lt; a lt; c bajo el signo raíz (c^2 - ab)
Esta pregunta es difícil de probar si comienza. con condiciones conocidas. Considere usar el método inverso.
Prueba: c - raíz (c^2 - ab) lt; a c bajo el signo radical (c^2 - ab)
lt; =gt; - bajo el signo radical (c^2 - ab) lt; a-c lt; bajo el signo radical (c^2 - ab)
lt;=gt; (a-c) lt; raíz (c^2 - ab)
lt;=gt; a^2-2ac c^ 2 lt; gt; a^2 ab lt; 2ac
lt; =gt; a b lt; (a es un número real positivo, por lo que ambos lados del signo de desigualdad se pueden colocar con a al mismo tiempo sin cambiando el signo)
Porque hay un blt; 2c en la condición conocida
Por lo tanto, se establece la desigualdad original
Por lo tanto, se obtiene la prueba. .
Espero que te ayude.