Mapa conceptual de Lógica Matemática

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