Catégories : Tous - resolución - indirecto - teorema - lógica

par diana sanchez garcia Il y a 4 années

1559

LA DEMOSTRACIÓN Y SUS MÉTODOS

Examinar la demostración en matemáticas y lógica implica considerar tres componentes clave: los fundamentos, el procedimiento y el conocimiento que se desea demostrar. La lógica clásica se diferencia de las lógicas no monótonas, que consideran las posibles inconsistencias al agregar nuevos axiomas.

LA DEMOSTRACIÓN Y SUS MÉTODOS

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.