Captulo XII Demostracin 12.

1 Funcin La demostracin es un razonamiento que prueba la validez de un nuevo conocimiento, es el enlace entre los conocimientos recin adquiridos y el conjunto de los conocimientos anteriores. 12.2 Necesidad y suficiencia La validez de un juicio es implicada por condiciones determinantes: 1) necesarias pero no suficientes, 2) suficientes, sin ser necesarias, y 3) necesarias y suficientes. 12.3 Estructura La demostracin consta de tres partes: el conocimiento que se trata de demostrar; los fundamentos empleados como base de la demostracin; y el procedimiento usado para lograr que el conocimiento quede demostrado. Los procedimientos utilizados, estn constituidos por distintas formas de inferencia y se clasifican en: 1. Demostracin directa: Prueba la validez de una tesis estableciendo que sta es una consecuencia necesaria de algunos de los fundamentos de la disciplina de que trate. 2. Demostracin por recursin: se utiliza en la teora de los nmeros y consiste en probar la validez de un teorema. 3. Demostracin por integracin: se emplea cuando la tesis se puede descomponer en varios casos particulares independientes. 4. Reduccin al absurdo: cuando se establece la validez de una tesis probando que las consecuencias de su contraria son falsas. 5. Demostracin por eliminacin: cuando se consideran todas las alternativas posibles y se van eliminando una por una hasta quedar solamente la tesis. 6. Demostracin por representacin: cuando los elementos del conjunto que sirve de contexto a la tesis, se transcriben como elementos de otro conjunto para encontrar en ste la prueba de la tesis.