Lógica matemática

La lógica matemática es el estudio formal de los sistemas de razonamiento. Proporciona el lenguaje y las reglas necesarias para construir argumentos válidos y demostrar teoremas con precisión absoluta.

Lógica proposicional

Se basa en proposiciones, que son enunciados con un valor de verdad (Verdadero o Falso). Las proposiciones se combinan usando conectivos lógicos: - Conjunción (\(\wedge\)): \(P \wedge Q\) es verdadero si ambos lo son. - Disyunción (\(\vee\)): \(P \vee Q\) es verdadero si al menos uno lo es. - Implicación (\(\rightarrow\)): Si P entonces Q. Solo es falsa si P es V y Q F.

Cuantificadores y predicados

La lógica de predicados extiende la proposicional mediante variables y cuantificadores que permiten hablar sobre propiedades de conjuntos de objetos: - Cuantificador Universal (\(\forall\)): "Para todo x". - Cuantificador Existencial (\(\exists\)): "Existe al menos un x".

Lógica de primer orden

Es un sistema formal potente que utiliza predicados, variables y cuantificadores sobre objetos individuales. Es la base de la mayoría de las demostraciones matemáticas modernas, permitiendo definir axiomas y derivar consecuencias mediante reglas de inferencia consistentes.

Glosario de variables