Mapa conceptual de Lógica Matemática

Flussdiagrammknoten

• Métodos para probar la validez de argumentos

• LÓGICA MATEMÁTICA

• El estudio formal y simbólico de la lógica.

• Componentes

• Conectores lógicos

• Proposiciones 

• símbolos o palabras que se utiliza para conectar dos fórmulas bien formadas.

• Enunciados lógicos a los que se les  puede asignar un valor de verdad.

• Negación ¬ 

• Disyunción ∨

• Conjunción ∧

• Condicional →

• Bicondicional ↔

• Simples

• Compuestas

• La representación de los posibles valores de verdad que podría tomar una proposición.

• una forma lógica  que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión

• Tablas de verdad

• Leyes de la inferencia lógica

• Razonamientos lógicos

• un proceso mental que implica la aplicación de la lógica.

• Tautologías ⊤

• Contradicciones ⊥

• Contingencias

• Doble Negación

• Modus Ponendo Ponens

• Modus Tollendo Tollens

• Ley Conjuntiva

• Modus Tollendo Ponens

• Ley de Simplificación

• Ley  de Adición

• Silogismo Hipotético

• Ley  de Transposición

• Leyes de Morgán

• Silogismo Disyuntivo

• Ley del Condicional

• Ley conmutativa

• una inferencia de una conclusión a partir de un conjunto de premisas

• Argumentos

• válidos (correctos) o no válidos (incorrectos

• es

• tiene

• usa

• como

• que  son

• que  son

• mediante

• que son

• realizando

• que  forman

• como

• mediante

• como

• que  son

• que  son

• tales como

• pueden ser

• pueden ser