demostraciones directas?

Answer 1

Demostración Directa:
En matemáticas y lógica, una demostración directa es una manera de probar la verdad o falsedad de un determinado enunciado por una combinación directa de hechos establecidos, usualmente lemas y teoremas existentes, sin asumir nada aparte de éstos. Si se desea probar un enunciado de la forma "Si p entonces q", sólo es necesario considerar situaciones donde el enunciado p sea cierto. La deducción lógica es empleada para razonar desde lo que se asume hasta la conclusión.

En contraste con lo anterior, una demostración indirecta comienza con ciertos escenarios hipotéticos y entonces procede a eliminar las falsedades en cada uno de los escenarios hasta que una conclusión inescapable es forzada. En lugar de mostrar directamente p → q, uno demuestra el lógicammente equivalente transpositivo ~q → ~p (uno asume ~q y demuestra que esto lleva a ~p). Ya que p → q y ~q → ~p son equivalentes, uno ha demostrado indirectamente p → q.