LOGICA
MATEMATICA
- Estudio del razonamiento
- Se analiza si un razonamiento es correcto
- Se centra en las relaciones entre los enunciados
- No se centra en el contenido (significado) de un enunciado particular
Por ejemplo:
- Los niños se alimentan bien
- Los que se alimentan bien están sanos
Por lo tanto:
§ Todos los
niños están sanos
Ø A la lógica no le interesa el significado
de las dos premisas.
Ø La lógica no permite determinar si estos
enunciados son verdaderos, pero si los dos primeros son ciertos entonces la
lógica garantiza que el tercer enunciado (conclusión) es verdadero.
Ø
Los métodos
lógicos son usados en matemáticas para probar teoremas, en computación para determinar
si un programa realiza lo que se propone y en sistemas digitales para calcular
las salidas de los circuitos.
La lógica matemática es un subcampo de la lógica y las matemáticas. Consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática guarda estrechas conexiones con la ciencias de la computación y la lógica filosófica.
ResponderEliminarLa lógica matemática no es la "lógica de las matemáticas" sino la "matemática de la lógica". Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas matemáticamente.
la lógica matemática principalmente es una diciplina que se basa en la aplicación de normas y técnicas que son aplicadas a la matemáticas, computación y filosofía para lo cual en la filosofía determina si un razonamiento es valido o no.
ResponderEliminar