LOGICA MATEMATICA
Lógica matemática. Es la disciplina que trata de métodos de razonamiento. En un
nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no
valido un argumento dado. El razonamiento lógico se emplea en matemáticas para
demostrar teoremas; en ciencias de la computación para verificar si son o no
correctos los programas; en las ciencias física y naturales, para sacar
conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana,
para resolver una multitud de problemas. Ciertamente se usa en forma constante
el razonamiento lógico para realizar cualquier actividad.
TIPOS
La lógica matemática se suele dividir en cuatro áreas:
teoría de modelos,
teoría de la demostración,
teoría de conjuntos
teoría de la computabilidad.
Importancia:
La logica matematica es una parte de la logica y las
matematicas que consiste en el estudio matematico de la
logica y en la aplicacion de este estudio a otra de las
matematica .
tiene estrechas conexion con la ciencia de la computacion y
la logica filosofica
estudia los sistema formales en la relacion con el que
codifican nociones intuitivas de objetos matematicos como
conjunto numeros demostraciones y computacion
simbolos
Tablas de la verdad