LA DEMOSTRACIÓN Y SUS MÉTODOS

Ver más

METODO DEDUCTIVO

por Diana Alejandra Cango Romero

SUCESIÓN INTESTADA

por Rosa María Salas Millones

Contexto histórico de la rigorización de las matemáticas y crisis de los fundamentos matemáticos en el siglo XX

por JOTA BRANGO

ETAPA 1. INTRODUCCION A LA LOGICA

por jorge abrego

LA DEMOSTRACIÓN Y SUS MÉTODOS

MÉTODOS

INDIRECTO

Consiste en partir de la utilidad arrojada por el estado de resultados para luego proceder a depurarla hasta llegar al saldo de efectivo que hay en los libros de contabilidad.

DIRECTO

También conocido como método natural, de enseñanza de lenguas extranjeras parte del principio de enseñar el idioma mediante el uso exclusivo de la lengua estudiada.

TEOREMA DE BAYES

El teorema puede servir entonces para indicar cómo debemos modificar nuestras probabilidades subjetivas cuando recibimos información adicional de un experimento.

RAZONAMIENTO PROBABILISTICO

Es un caso dentro del razonamiento no monótono. Cuando la probabilidad que la verdad de una oración haya cambiado con respecto a su valor inicial, otras oraciones que anteriormente tenían alta probabilidad pueden decaer hasta tener probabilidad pequeña o nula.

LÓGICA POR-DEFECTO

Muy parecido al anterior, pero el operador M ya no hace la función de un operador modal capaz de formar sentencias Mp supuestamente válidas en el sistema; en su lugar dicho operador sólo aparece en las reglas de inferencia denominadas reglas por defecto definidas al efecto

FORMALISMOS LÓGICA NO-MONÓTONA

Es necesario establecer un mecanismo de mantenimiento de coherencia generalmente traducido como mantenimiento de verdad - que permita eliminar el supuesto en cuanto se presente un hecho que lo invalide.

CONOCIMIENTO NO- MONÓTONO Y OTRAS LÓGICAS

La lógica clásica tiene un carácter monótono.Las lógicas clásicas parten del carácter no excluyente de los nuevos axiomas añadidos a los ya existentes. Por el contrario, las lógicas no monótonas tienen en cuenta la necesidad de detectar posibles inconsistencias con los nuevos axiomas. El rango definitorio es que se tienen en cuenta lo que no se conoce, o lo que es lo mismo asume los límites de su propio conocimiento.

EL MÉTODO DE RESOLUCIÓN DE ROBINSON

Método de Resolución [Robinson, 1965], es un intento de mecanizar el proceso de deducción natural de esa forma eficiente.

DEDUCTIVO

El método deductivo nos permite partir de un conjunto de hipótesis y llegar a una conclusión, pudiendo ser esta inclusive que el conjunto de hipótesis sea inválido.

El método deductivo es un proceso que parte de un conocimiento general, y arriba a uno particular. La aplicación del método deductivo nos lleva a un conocimiento con grado de certeza absoluta, y esta cimentado en proposiciones llamadas SILOGISMOS.

La demostración permite explicar unos conocimientos por otros y por tanto es una prueba rigurosamente racional.

LA DEMOSTRACIÓN CONSTA DE TRES PARTES:

3. El procedimiento usado para lograr que el conocimiento quede demostrado.

2. Los fundamentos empleados como base de la demostración.

1. El conocimiento que se trata de demostrar, es decir la proposición (teorema) cuya validez se trata de probar.

La demostración es un razonamiento o serie de razonamiento que prueba la validez de un nuevo conocimiento estableciendo sus conexiones necesarias con otros conocimientos.