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 de modelos, 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 la filosofía originada por Aristóteles, pero la lógica matemática es un método más completo para verificar los argumentos. La lógica matemática usa sistemas formales de prueba que se usan para probar ciertos teoremas. Aquí se explica cómo entender la lógica matemática.

Estudie la lógica sentencial como el primer encuentro con la lógica matemática. Esto incluye tablas de verdad y el uso de "y" y "y" y "no" en 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 consiste 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.
Sciencing Video Vault
Cree el corchete (casi) perfecto: aquí es cómo
cree el corchete (casi) perfecto: aquí está cómo

Avanzar a la teoría del modelo 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.

Retoma la teoría de la recursión a continuación. Este campo es el estudio de la pertenencia a un conjunto determinado al determinar qué 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.