Introducción a la lógica matemática
Por: Iván Cruz Aceves
Existen diferentes situaciones en las que es indispensable reconocer si una situación o argumento es válido
o no y es en esos momentos cuando podemos recurrir a la lógica.
Cuando se habla de lógica es común realizar proposiciones que ayuden a analizar y estudiar las relaciones
lógicas entre diversos objetos por medio de afirmaciones, las cuales pueden ser identificadas como
sentencias evaluables capaces de tomar sólo dos valores: sentencia falsa o sentencia verdadera, teniendo
como única restricción que no pueden ser ambas a la vez.
Proposición: enunciado que puede clasificarse como
falso o verdadero.
Proposición ambigua: puede clasificarse como falsa o
verdadera según la percepción de la persona (San Román,
1990).
Para que entiendas mejor las proposiciones, analiza los siguientes ejemplos:
a) México se encuentra en el continente asiático.
Esta proposición es falsa debido a que México se encuentra en el continente americano.
b) 2 + 2 = 4.
Esta proposición es verdadera ya que dos más dos es cuatro.
c) 2n = número impar.
Esta proposición es falsa debido que toda potencia de 2 siempre será par.
d) ¿Por qué debo aprender inglés?
Esta sentencia no es una proposición, ya que la clasificación depende de la percepción de la
persona que va a evaluarla.
e) La física es más desafiante que la filosofía.
Esta sentencia se puede calificar como una proposición ambigua, ya que la calificación depende de
la persona que la evalúe.
1
©UVEG. Derechos reservados. Esta obra no puede ser reproducida, modificada, distribuida, ni transmitida, parcial o totalmente, mediante cualquier medio, método o
sistema impreso, electrónico, magnético, incluyendo el fotocopiado, la fotografía, la grabación o un sistema de recuperación de la información, sin la autorización por escrito
de la Universidad Virtual del Estado de Guanajuato.
f) Correr hacia la meta.
Esta sentencia no es una proposición, ya que no se puede clasificar como falsa o verdadera.
g) 8 es menor que 9.
Esta proposición es verdadera.
h) 3 es mayor que 6.
Esta proposición es falsa.
i) 4 es menor que 6.
Esta proposición es verdadera.
j) Ayúdame.
Esta sentencia no es una proposición, debido a que no se puede clasificar como falsa o verdadera.
Después de revisar estas proposiciones simples es momento de conocer las proposiciones compuestas.
Proposición compuesta: dos o más enunciados que se
unen haciendo uso de conectores como: y, o, si entonces,
si y sólo sí, por mencionar algunos (San Román, 1990).
Algunos ejemplos de proposiciones compuestas son:
a) Carlos tiene 25 años y Adriana tiene 30 años.
La sentencia anterior podríamos descomponerla en dos proposiciones:
1.- Carlos tiene 25 años.
2.- Adriana tiene 30 años.
b) Juan es menor que Pedro y mayor que Lourdes.
En el enunciado anterior podemos observar dos proposiciones que serían:
1.- Juan es menor que Pedro.
2.- Juan es mayor que Lourdes.
c) Si Alejandro tiene promedio de 9, entonces obtendrá una beca.
En el enunciado anterior podemos identificar dos proposiciones que serían:
1.- Alejandro tiene promedio de 9.
2.- Obtendrá una beca.
2
©UVEG. Derechos reservados. Esta obra no puede ser reproducida, modificada, distribuida, ni transmitida, parcial o totalmente, mediante cualquier medio, método o
sistema impreso, electrónico, magnético, incluyendo el fotocopiado, la fotografía, la grabación o un sistema de recuperación de la información, sin la autorización por escrito
de la Universidad Virtual del Estado de Guanajuato.
d) Comes sopa de arroz o de pasta.
Las dos proposiciones que podemos identificar serían:
1.- Comes sopa de arroz.
2.- Comes sopa de pasta.
Tal y como se observa en los ejemplos, las proposiciones pueden ser muy simples o complejas según lo
que se desee expresar.
Para facilitar la evaluación de las proposiciones compuestas, podemos utilizar la lógica matemática,
disciplina que permite representar las proposiciones por medio de símbolos que facilitan su
representación. Los símbolos utilizados en la lógica matemática son:
¬ Negación
^ “Y”, “AND”.
V “O”, “OR”.
‐>”SI ENTONCES”, “IMPLICACIÓN CONDICIONAL”.
<‐> “SI SOLO SI”, “BICONDICIONAL”.
A continuación veamos cómo podemos representar las proposiciones mediante la lógica matemática.
a) 10 es mayor que 5 y 20 es menor que 25.
Esta sentencia es una proposición compuesta y la podemos descomponer de la siguiente manera:
10 es mayor que 5.
20 es menor que 25.
Ahora vamos a utilizar la lógica matemática para representar las proposiciones anteriores asignando a
cada una de ellas una letra. Para esto, por lo general, recurrimos a las letras p y q para representar las
proposiciones:
p = 10 es mayor que 5.
q = 20 es menor que 25.
Construyendo nuevamente la proposición original, utilizando los símbolos de la lógica matemática,
quedaría de la siguiente manera: p “y” q o bien p ^ q.
3
©UVEG. Derechos reservados. Esta obra no puede ser reproducida, modificada, distribuida, ni transmitida, parcial o totalmente, mediante cualquier medio, método o
sistema impreso, electrónico, magnético, incluyendo el fotocopiado, la fotografía, la grabación o un sistema de recuperación de la información, sin la autorización por escrito
de la Universidad Virtual del Estado de Guanajuato.
b) Si hace mucho calor, entonces hay juego de fútbol.
Identificación de las Asignación de las Conversión de la
proposiciones proposiciones a una letra proposición en
simples del alfabeto símbolos lógicos
Hace mucho calor. p = Hace mucho calor. p -> q
Hay juego de futbol. q = Hay juego de futbol.
c) Si Juan no va a jugar en la noche no podrá ganar dinero.
Identificación de las Asignación de las Conversión de la proposición en
proposiciones proposiciones a una letra símbolos lógicos
simples del alfabeto
Juan va a jugar en la p = Juan va a jugar en la Debido a que ambas proposiciones
noche. noche. aparecen negadas en la sentencia
inicial, deberán aparecer de igual
Podrá ganar dinero. q = Podrá ganar dinero. manera en la conversión.
¬p -> ¬q.
d) Vamos al cine sólo si me pagan.
Identificación de las Asignación de las Conversión de la proposición en
proposiciones proposiciones a una letra símbolos lógicos
simples del alfabeto
Vamos al cine. p = Vamos al cine.
p <-> q
Me pagan. q = Me pagan.
Hasta este momento hemos conocido cómo convertir una proposición compuesta utilizando la lógica
matemática; ahora estudiaremos cómo evaluar una proposición compuesta haciendo uso de las tablas de
verdad que utiliza la lógica matemática.
Antes de conocer las tablas de verdad es importante recordar que una proposición puede clasificarse como
falsa (0) o verdadera (1).
4
©UVEG. Derechos reservados. Esta obra no puede ser reproducida, modificada, distribuida, ni transmitida, parcial o totalmente, mediante cualquier medio, método o
sistema impreso, electrónico, magnético, incluyendo el fotocopiado, la fotografía, la grabación o un sistema de recuperación de la información, sin la autorización por escrito
de la Universidad Virtual del Estado de Guanajuato.
Tablas de verdad
Negación
p ¬p
0 1
1 0
Tabla 1. Tabla de verdad de la negación.
(“y” / “and”).
P q p^q
0 0 0
0 1 0
1 0 0
1 1 1
Tabla 2. Tabla de verdad del operador AND.
(“o” / “or”)
P q pvq
0 0 0
0 1 1
1 0 1
1 1 1
Tabla 3. Tabla de verdad del operador OR.
“Implicación”/“Si entonces”
P q p -> q
0 0 1
0 1 1
1 0 0
1 1 1
Tabla 4. Tabla de verdad de la implicación.
“Bicondicional”/“Si sólo si”.
P q p <-> q
0 0 1
0 1 0
1 0 0
1 1 1
Tabla 4. Tabla de verdad del operador bicondicional.
5
©UVEG. Derechos reservados. Esta obra no puede ser reproducida, modificada, distribuida, ni transmitida, parcial o totalmente, mediante cualquier medio, método o
sistema impreso, electrónico, magnético, incluyendo el fotocopiado, la fotografía, la grabación o un sistema de recuperación de la información, sin la autorización por escrito
de la Universidad Virtual del Estado de Guanajuato.
A continuación utilizaremos las tablas de verdad para evaluar las proposiciones.
1) Si tenemos la proposición: 10 es mayor que 5 y 20 es menor que 25.
Dado que se tiene como conector “y” deberemos utilizar la tabla correspondiente a ese símbolo lógico,
sería:
(“y” / “and”) Ahora bien, tenemos que:
p q p^q
0 0 0 p = 10 es mayor que 5. (Verdadero).
0 1 0 q = 20 es menor que 25. (Verdadero).
1 0 0
1 1 1
Tabla 5. Tabla de verdad del operador AND.
Por lo que verificaremos los valores asignados al último renglón de la tabla obteniendo que p ^ q es
verdadero.
2) Si tenemos la proposición: México pertenece al continente americano y ha ganado un mundial.
Dado que el conector que se está utilizando es “y”, deberemos aplicar la tabla:
(“y” / “and”) Ahora bien, tenemos que:
p q p^q
0 0 0 p = México pertenece al continente americano. (Verdadero).
0 1 0 q = Ha ganado un mundial. (Falso).
1 0 0
1 1 1
Tabla 6. Tabla de verdad del operador AND.
Verificaremos los valores asignados al penúltimo renglón de la tabla obteniendo que p ^ q es falso en este
caso.
Utilizando las tablas de verdad podremos generar una cantidad infinita de combinaciones: Basta con
apoyarnos en las tablas para determinar si una proposición compuesta es falsa o verdadera.
Algunos ejemplos de lo anterior son:
p q p^q ¬(p ^ q) ¬p ^ q
0 0 0 1 0
0 1 0 1 1
1 0 0 1 0
1 1 1 0 0
Tabla 7. Uso del operador AND y la negación.
6
©UVEG. Derechos reservados. Esta obra no puede ser reproducida, modificada, distribuida, ni transmitida, parcial o totalmente, mediante cualquier medio, método o
sistema impreso, electrónico, magnético, incluyendo el fotocopiado, la fotografía, la grabación o un sistema de recuperación de la información, sin la autorización por escrito
de la Universidad Virtual del Estado de Guanajuato.
p q pvq ¬(p v q) p ^ ¬q
0 0 0 1 1
0 1 1 0 0
1 0 1 0 1
1 1 1 0 1
Tabla 8. Uso del operador OR y la negación.
En caso de que nuestra proposición estuviera compuesta por tres proposiciones, se tendrían que
considerar las posibles combinaciones para poder determinar la tabla de verdad de la proposición a
evaluar tal como se muestra en la tabla 9.
Determinar la tabla de verdad para la proposición p ^ q ^ r.
p q r p^q^r
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1
Tabla 9. Tabla de verdad para la preposición p ^ q ^ r.
Como te diste cuenta, al incrementar las variables también se incrementa el número de combinaciones.
La fórmula para determinar la cantidad de combinaciones
de una tabla de verdad según el número de variables es
igual a:
Combinaciones = 2n
Donde n es el número de variables o proposiciones que se
desean evaluar.
Es importante tomar en consideración que las tablas de verdad son de gran utilidad para demostrar la
veracidad de una proposición.
7
©UVEG. Derechos reservados. Esta obra no puede ser reproducida, modificada, distribuida, ni transmitida, parcial o totalmente, mediante cualquier medio, método o
sistema impreso, electrónico, magnético, incluyendo el fotocopiado, la fotografía, la grabación o un sistema de recuperación de la información, sin la autorización por escrito
de la Universidad Virtual del Estado de Guanajuato.
Referencia
San Román, J. (1990). Lógica matemática y computabilidad. México: Ediciones Díaz
de Santos. [Versión en línea]. Recuperado de
[Link]
&hl=es&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=fals
Bibliografía
Gutiérrez, E., y Larios, R. (1998). Fundamentos de Matemáticas y Lógica. México:
Instituto Politécnico Nacional.
Johnsonbaugh, R. y Palmas, O. (1999). Matemáticas discretas. México: Prentice
Hall.
8
©UVEG. Derechos reservados. Esta obra no puede ser reproducida, modificada, distribuida, ni transmitida, parcial o totalmente, mediante cualquier medio, método o
sistema impreso, electrónico, magnético, incluyendo el fotocopiado, la fotografía, la grabación o un sistema de recuperación de la información, sin la autorización por escrito
de la Universidad Virtual del Estado de Guanajuato.
