Las ciencias formales (lógica y matemática) utilizan el método axiomático-deductivo. Dicho método consiste en tomar como punto de partida una serie de axiomas (del griego αξιωμα: aquello que es considerado como verdadero sin necesidad de prueba o demostración) y, a partir de ellos proceder deductiva mente. Definiciones: Corrección: Modificación que se hace en una cosa o a una persona para corregir sus faltas, errores, defectos o imperfecciones. Consistencia: propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema. Es decir, dado un lenguaje formal y un aparato deductivo (axiomas y reglas de inferencia), no es posible deducir una fórmula y su negación. Completitud: En una lógica de primer órden, toda fórmula que es válida en un sentido lógico es demostrable.
Comentarios
Publicar un comentario