Cómo entender la lógica matemática. La lógica matemática es una rama de las matemáticas derivada de la lógica simbólica e incluye los subcampos de la teoría del modelo, la teoría de la prueba, la teoría de la recursión y la teoría de conjuntos. Está estrechamente relacionado con la lógica formal en filosofía originada por Aristóteles, pero la lógica matemática es un método más completo para verificar argumentos. La lógica matemática utiliza sistemas de prueba formales que se utilizan para probar ciertos teoremas. Aquí se explica cómo entender la lógica matemática.

Estudie la lógica oracional como el primer encuentro con la lógica matemática. Esto incluye tablas de verdad y el uso de "y", "o" y "no" en la lógica simbólica. Este nivel de estudio también debe incluir la lógica de primer orden, que agrega cuantificadores como "para todos" y "existe" al lenguaje.


Continúe con la teoría de la prueba, que es el estudio de la manipulación simbólica. Esto requerirá un lenguaje formal que consista en un conjunto de símbolos y una sintaxis. Estos elementos comprenden fórmulas que se utilizan para construir axiomas para las teorías de ese lenguaje.


Avance a la teoría de modelos de primer orden, que describe las estructuras que satisfarán un conjunto de axiomas. Las fórmulas lógicas se utilizan para determinar los conjuntos que pueden definirse en una estructura dada.


Comience un estudio de la teoría de conjuntos. Esto debería incluir conjuntos infinitos muy grandes para mostrar que un "conjunto" es un concepto ambiguo.


A continuación, retome la teoría de la recursividad. Este campo es el estudio de la pertenencia a un conjunto determinado mediante la determinación de lo que se puede calcular sobre ese conjunto en un número finito de pasos. La teoría de la recursión involucra conceptos tales como estructuras de grado, ideas sobre reducibilidad y computabilidad relativa.