Logica Matematica.
Las proposiciones son una sentencia declarativa, o reglas las cuales tienen valores de verdad, una proposición puede tener dos valores, verdadero o falso. Pero no ambos(verdadero y falso) y tampoco pueden no tomar ningún valor. Una proposición es un hecho. Los argumentos de las proposiciones son: premisas y conclusiones de una proposición. Las proposiciones son portadorasde veracidad y falsedad
El cálculo proposicional es también llamado, lógica proposicional, calculo sentencial, álgebra Booleana. El cálculo proposicional, junta dos cálculos de predicados con laconstitución de símbolos lógicos.
La Lógica Matemática surge como una disciplina matemática cuyo objeto de estudio es la lógica del razonamiento matemático humano (y actualmente también de otrasformas de razonamiento.) Requiere de expresar la lógica en términos susceptibles de ser representados y manejados por un computador
Razonamiento Inductivo
Consecuentemente la definición actual deinducción es más compleja e incluye tipos de razonamiento que van más allá de la simple progresión de lo particular a lo general. Esos tipos de razonamiento pueden ser descritos como aquellos que indicanalgún tipo de apoyo o aval a la conclusión, pero no una Implicación lógica. En otras palabras, son razonamientos que sugieren verdad, pero no la aseguran. Más bien, las premisas de un razonamientológico inductivo indican cierto grado de apoyo (probabilidad inductiva) para la conclusión, pero no implicación
Tradicionalmente se consideraba (y en muchos casos todavía se considera) querazonamiento inductivo es una modalidad del razonamiento que consiste en obtener conclusiones generales a partir de premisas que contienen datos particulares o individuales. Por ejemplo, a partir de laobservación repetida de objetos o acontecimientos de la misma índole se establece una conclusión general para todos los objetos o eventos de dicha naturaleza
Razonamiento Deductivo
El razonamiento...
Regístrate para leer el documento completo.