Matemática

Introducción de la lógica matemática

La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o
logística, es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la
matemática y la ciencia. Comprende la aplicación de las técnicas de la lógica formal a la
construcción y el desarrollo de las matemáticas y el razonamiento matemático, y
conversamente la aplicación de técnicas matemáticas a la representación y el análisis de la
lógica formal. La investigación en lógica matemática ha jugado un papel crucial en el estudio
de los fundamentos de las matemáticas.

La lógica matemática estudia la inferencia mediante la construcción de sistemas formales

como la lógica proposicional, la lógica de primer orden o la lógica modal. Estos sistemas
capturan las características esenciales de las inferencias válidas en los lenguajes naturales,
pero al ser estructuras formales susceptibles de análisis matemático, permiten realizar
demostraciones rigurosas sobre ellas.

Proposiciones

Una proposición matemática es una expresión algebraica que puede acarrear dos valores: ser
verdadera o ser falsa, aunque nunca ambas a la vez.

Denominadas a través de letras minúsculas, las proposiciones matemáticas tienen un valor de

verdad (que será la veracidad o la falsedad de su enunciado). De acuerdo a sus características,
es posible distinguir entre proposiciones simples (que carecen de conectores lógicos) y
proposiciones compuestas (cuentan con más de un conector lógico). Dentro de estos grupos
también pueden advertirse otras clasificaciones: proposiciones relacionales, proposiciones
predicativas, etc.

Valor de la verdad

En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad.
En lógica clásica bivalente los valores de verdad sólo son dos, usualmente designamos
verdadero y falso (y a veces representados por pares como (1,0) o (V,F), etc.).

Construcción de la tabla de la verdad

Algoritmo para construir una tabla de verdad de una fórmula en lógica de proposiciones.

 Escribir la fórmula con un número arriba de cada operador que indique su jerarquía. Se
escriben los enteros positivos en orden, donde el número 1 corresponde al operador
de mayor jerarquía. Cuando dos operadores tengan la misma jerarquía, se le asigna el
número menor al de la izquierda.
 Construir el árbol sintáctico empezando con la fórmula en la raíz y utilizando en cada
caso el operador de menor jerarquía. O sea, del número mayor al menor.
 Numerar las ramas del árbol en forma secuencial empezando por las hojas hacia la
raíz, con la única condición de que una rama se puede numerar hasta que estén
 numerados los hijos. Para empezar con la numeración de las hojas es buena idea
hacerlo en orden alfabético, así todos obtienen los renglones de la tabla en el mismo
orden para poder comparar resultados.
 Escribir los encabezados de la tabla las fórmulas siguiendo la numeración que se le dió
a las ramas en el árbol sintáctico.
 Asignarle a los átomos, las hojas del árbol, todos los posibles valores de verdad de
acuerdo al orden establecido. Por supuesto que el orden es arbitrario, pero como el
número de permutaciones es n!, conviene establecer un orden para poder comparar
resultados fácilmente.
 Asignar valor de verdad a cada una de las columnas restantes de acuerdo al operador
indicado en el árbol sintáctico utilizando la tabla de verdad. Conviene aprenderse de
memoria las tablas de los operadores, al principio pueden tener un resumen con todas
las tablas mientras se memorizan.
 La última columna, correspondiente a la fórmula original, es la que indica los valores
de verdad posibles de la fórmula para cada caso.

Variables proposicionales

En lógica matemática, una variable proposicional (también llamada variable sentencial o

letra sentencial) es una variable discreta que puede ser verdadera o falsa. Las variables
proposicionales son los bloques de construcción básicos de las fórmulas proposicionales,
usadas en lógica proposicional y en lógicas superiores.

Las fórmulas en lógica son comúnmente construidas recursivamente a partir de algunas

variables proposicionales, algún número de conectivos lógicos, y algunos cuantificadores
lógicos. Las variables proposicionales son las fórmulas atómicas de la lógica proposicional.
Por ejemplo, en una lógica proposicional dada, se podría definir una fórmula de la
siguiente manera:

Cada variable proposicional es una fórmula.

Dada una fórmula X, su negación ¬X es una fórmula.

Dadas dos fórmulas X e Y, y un conectivo binario b (como por ejemplo la conjunción ∧),
entonces (X b Y) es una fórmula.

De este modo, todas las fórmulas de la lógica proposicional son construidas utilizando
variables proposicionales como unidades básicas.

Las variables proposicionales son representadas como predicados 0-arios en lógica de

primer orden.

Operadores lógicos

Los operadores lógicos nos proporcionan un resultado a partir de que se cumpla o no una
cierta condición, producen un resultado booleano, y sus operandos son también valores
lógicos o asimilables a ellos (los valores numéricos son asimilados a cierto o falso según su
valor sea cero o distinto de cero).
 Negación

La negación de p es la proposición ~p, que se lee "no p. "Su valor de verdad se define por
la siguiente tabla de verdad.

p ~p
T F
F T
El símbolo de la negación "~" es un ejemplo de operador unario lógico (el termino "unario"
indica que el operador actúa en una única proposición).

Disyunción

Disyunción: La disyunción solamente es falsa si lo son sus dos componentes.

Con la disyunción a diferencia de la conjunción, se representan dos expresiones que

afirman que una de las dos es verdadera, por lo que basta con que una de ellas sea
verdadera para que la expresión p ∨ q sea verdadera.

Disyunción exclusiva

Pero también existe la llamada disyunción exclusiva, que viene a decir que al menos
una de las opciones es verdadera, pero sólo una. En este sentido exclusivo, si en "p
q", p es verdadera y q también lo es, la disyunción exclusiva es falsa.

Por ejemplo, en el lenguaje natural empleamos este sentido exclusivo de la disyunción

cuando decimos que alguien es cristiano o musulmán. Si alguien es cristiano, si es
consecuente con ello no podrá ser musulmán, y viceversa. O cuando decimos que un
examen se aprueba o se suspende.

En este caso se utiliza el símbolo " " o bien el símbolo " ". La tabla de verdad de la
disyunción exclusiva sería la siguiente:

p q pq
V V F
V F V
F V V
F F F
Implicacion
La implicación o condicional es un operador que opera sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones, devolviendo el valor de falso sólo cuando la primera proposición
es verdadera y la segunda falsa, y verdadero en cualquier otro caso.

La tabla de verdad del condicional es la siguiente:

Doble Implicación

La doble implicación o bicondicional es un operador que funciona sobre dos valores de verdad,
típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando
ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad diferente.

La tabla de verdad del bicondicional es la siguiente:

si es los dos son v o los dos f son verdaderos

Proposiciones Simples y Compuestas

Proposiciones Simples

Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o
términos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . .
entonces"). Pueden aparecer términos de enlace en el sujeto o en el predicado, pero no
entre oraciones componentes.

Proposiciones Compuestas

Una proposición será compuesta si no es simple. Es decir, si está afectada por

negaciones o términos de enlace entre oraciones componentes.

Ejemplos

En los siguientes ejemplos usaremos S para las simples y C para las compuestas:

Formas proposicionales