Hola Amigos. Video número 5 del curso de matemática discreta enfocado a los métodos de demostración. En la Ciencia matemática, las demostraciones son la clave para entender no solo la...

Hola Amigos. Video número 5 del curso de matemática discreta enfocado a los métodos de demostración. En la Ciencia matemática, las demostraciones son la clave para entender no solo la metodologia de la matematica sino de la metodologia de la ciencia en general. Por ello, para realizar una demostración se debe seguir una serie de pasos inductivos que permitirán llegar a una conclusión válida. Estas técnicas son importantes porque permiten establecer un marco donde podamos decidir si una demostración es válida o no. Pero solo són tecnicas ya que no existe ningún truco o algoritmo universal que permita realizar demostraciones. De hecho, existe un teorema de gran calado que demuestra que no existe ningun método de demostración para toda sentencia en la matemática. Aunque de momento no entraremos en estas sutilezas propias de la ciencia de la computación y la lógica, si veremos algunas tecnicas que si se han demostrado eficaces para enfrentarnos a la demostración de una sentencia. Por ello una demostración se definiria como un conjunto finito de inferencias que derivan una conclusión ( la sentencia a demostrar). Estas inferencias no salen de la nada, sino que se establecen a traves de las reglas de la lógica. Es por ello de los anteriores videos que se movian en torno a la lógica de predicados y a la lógica de primer nivel. Ahora estamos en condiciones de empezar ha realizar demostraciones. Video de 55 minutos. Primera parte.