Please enable JavaScript.
Coggle requires JavaScript to display documents.
El Proceso de Razonamiento según la Lógica(Axiomas, Teoremas,…
El Proceso de Razonamiento según la Lógica(Axiomas, Teoremas, Demostración)
-
-
Inferencia
-
clases de inferencias
Deducciones
Forma de razonamiento en que la verdad de las premisas apoyan la conclusión, pero no la garantizan.
-
Abducciones
Forma de razonamiento en que la verdad de las premisas apoyan la conclusión, pero no la garantizan.
-
Teorema
-
Teoría inductiva
Suelen presentarse como estructuras de datos inductivamente definidas que se construyen de acuerdo con los axiomas y reglas de inferencia
Enunciar explícitamente los términos primitivos con ayuda de los cuales se propone definir los demás términos de la teoría.
Teoría deductiva
Es una estrategia de razonamiento empleada para deducir conclusiones lógicas a partir de una serie de premisas o principios.
La conclusión se halla dentro de las propias premisas referidas o, dicho de otro modo, la conclusión es consecuencia de estas.
Demostración
A partir de unas proposiciones dadas que llamaremos premisas, obtener otra proposición que llamaremos conclusión mediante la aplicación de unas reglas lógicas .
-
Corolario
Afirmación lógica que sea consecuencia inmediata de un teorema, pudiendo ser demostrada usando las propiedades del teorema previamente demostrad