Académique Documents
Professionnel Documents
Culture Documents
ca
LÓGICA MATEMÁTICA
ti
má
te
SEMILLEROS DE
Ma
MATEMÁTICAS
de
o
ut
Pedro Hernández R.
Cristhian Zuluaga H.
st
Alejandro Piedrahita H.
In
Instituto de Matemáticas
Universidad de Antioquia
s
SEMILLERO DE MATEMÁTICAS - LÓGICA MATEMÁTICA
ca
Tercera edición: 2018
©Universidad de Antioquia
©Semilleros de Matemáticas
ti
Diseño y diagramación original en LATEX:
Paulo Mora Noguera
e-mail: prmora@outlook.com
má
Actualización de diseño y diagramación en LATEX:
Alejandro Piedrahita H.
e-mail: alejandro.piedrahita@udea.edu.co
te
Todos los derechos reservados.
Esta publicación no puede ser reproducida, ni en todo ni en parte, por ningún medio inventado o
por inventarse, sin el permiso previo, por escrito, del Semillero de Matemáticas de la Universidad
de Antioquia. Ma
de
o
ofrece a estudiantes de enseñanza media y público en general los siguientes programas de extensión:
Información de contacto
Universidad de Antioquia
In
Ciudad Universitaria
Bloque 6 - Oficina 109
Teléfono: (574) 2195648
E-mail: semilleroscen@udea.edu.co
http://ciencias.udea.edu.co/semilleros/
s
ca
3
ti
LÓGICA MATEMÁTICA I
má
te
Reseña Histórica
s
ca
Casi dos siglos después los matemáticos ingleses Augustus De Morgan y Geor-
ge Boole extendieron las ideas de Leibniz dando origen a la lógica simbólica
moderna. De Morgan es reconocido, entre otras cosas, por las leyes de la lógi-
ti
ca proposicional que llevan su nombre, mientras que George Boole es famoso
por el desarrollo de las llamadas “álgebras de Boole”, herramienta utilizada
para el diseño de circuitos digitales, entre otras muchas aplicaciones.
má
A finales de 1800 el matemático alemán Gottlob Frege, e independientemente
el matemático italiano Giuseppe Peano, desarrollaron la lógica de predica-
te
dos. Frege presentó el primer desarrollo formal de la lógica de cuantificadores,
mientras que Peano creó muchos de los sı́mbolos que actualmente son utiliza-
dos en lógica proposicional y teorı́a de conjuntos.
44
Ma
Finalmente, las “contradicciones” encontradas en la teorı́a de conjuntos a fina-
les del siglo XIX, dejarı́an en evidencia los peligros de utilizar razonamientos
informales en matemáticas (historia que continuaremos en el taller 4).
de
OBJETIVO GENERAL
Estudiar y comprender el lenguaje de la lógica clásica que fundamenta los
métodos de razonamiento propios de las matemáticas.
o
INTRODUCCIÓN
ut
lenguajes naturales y establecer con claridad los elementos que son realmente
importantes para reconocer los razonamientos lógicamente válidos.
SEMILLEROS de
MATEMÁTICAS
s
El Cálculo Proposicional es la primera forma en la lógica clásica sobre la cual
ca
se analizan el argumento lógico mediante métodos matemáticos sencillos. Lo
primero que hay que entender para su estudio es el lenguaje formal sobre
el que se presenta, el cual consta de pocos, pero poderosos ingredientes. A
ti
continuación introducimos paso a paso cada sı́mbolo de este lenguaje, junto
con su respectiva interpretación.
má
EL CÁLCULO PROPOSICIONAL
te
Definición 3.1 (Letras predicativas).
Usamos las letras del alfabeto para representar afirmaciones a las cuales
se les puede asignar un valor de verdad.
Ejemplo 3.1. .
Ma 45
P : 1 + 2 = 3.
Q : Está nevando.
R : Las tortugas vuelan.
de
Los siguientes signos los llamaremos sı́mbolos lógicos, son operadores que se
Lógica Matemática I
it
s
Retomando el ejemplo anterior, ¬P representa “1 + 2 6= 3”, ¬Q es “No está
ca
nevando” y ¬R significa “las tortugas no vuelan”. Intuitivamente, ¬P toma el
valor de verdad contrario al que toma P , es decir, ¬P toma el valor F si P es
V, y ¬P toma el valor V si P es F. Por lo tanto, dada una letra P arbitraria,
ti
la tabla de verdad de la negación está dada por
P ¬P
má
V F
F V
te
Definición 3.3 (Disyunción ∨).
Dadas dos afirmaciones P y Q, denotamos por P ∨Q la disyunción entre
Ma
P y Q, la cual se lee P ó Q. Ésta representa que se cumple al menos una
46 de las opciones entre P y Q.
Ejemplo 3.2. Si
de
P : 1+2=3
Q: Está nevando.
R: 2 ∈ ∅ (∅ representa el conjunto vacı́o)
S: Los seres humanos son mamı́feros.
o
o los seres humanos son mamı́feros”, lo cual es verdad, ya que “los seres
humanos son mamı́feros” es verdad, sin importar qué valor de verdad tome
Q. En caso en que no estuviese nevando en este momento, Q ∨ R es una
Lógica Matemática I
it
dos opciones es verdadera. No hay necesidad de introducir un sı́mbolo para este tipo de
disyunción, pues más adelante se puede ver que está representada por ¬(P ⇔ Q).
SEMILLEROS de
MATEMÁTICAS
s
ca
P Q P ∨Q
V V V
V F V
F V V
ti
F F F
má
Definición 3.4 (Conjunción ∧).
Dadas dos afirmaciones P y Q, denotamos por P ∧ Q la conjunción
te
entre P y Q, la cual se lee P y Q. Ésta representa que se cumplen ambas
afirmaciones P y Q.
Ma
Si consideramos el ejemplo presentado para la disyunción, P ∧ R significa
47
“1 + 2 = 3 y 2 ∈ ∅”, lo cual es falso ya que 2 ∈ ∅ es falso y, por lo tanto,
ambas afirmaciones no son ciertas a la vez. P ∧ Q representa “1 + 2 = 3 y
está lloviendo”, lo cual será verdadero sólo en caso de que Q sea verdadera,
de
P Q P ∧Q
V V V
o
V F F
ut
F V F
F F F
s
Dada una implicación P ⇒ Q, llamamos P el antecedente de la implicación,
ca
y a Q el consecuente de la implicación. El valor de verdad de P ⇒ Q se define
bajo la cláusula “causas verdaderas conllevan consecuencias verdaderas”, por
lo cual su tabla de verdad se define como
ti
P Q P ⇒Q
V V V
V F F
má
F V V
F F V
te
Cuadro 3.4: Tabla de verdad de la implicación.
48
Ma
pues la consecuencia de una afirmación verdadera no puede ser falsa, sino
verdadera. El valor de P ⇒ Q en la última fila es V debido a la ley del con-
trarrecı́proco: “nunca se pueden cumplir las causas de una afirmación falsa”;
en la tercera fila el valor se presenta más como una convención respecto a que
“causas falsas pueden tener consecuencias verdaderas”.
de
P : 4 divide a 3
Q: 3 es par
R: Sócrates es hombre
o
S: Sócrates es mortal
ut
it
3 es par.
SEMILLEROS de
MATEMÁTICAS
s
ca
Definición 3.6 (Equivalencia ⇔).
Dadas dos afirmaciones P y Q, P ⇔ Q se lee P equivale a Q. Intuiti-
vamente, P ⇔ Q denota que las afirmaciones P y Q tienen el mismo
ti
significado o, en términos de tablas de verdad, que tienen el mismo
valor de verdad.
má
Bajo esta cláusula, la tabla de verdad de la equivalencia se presenta como
sigue
P ⇔Q
te
P Q
V V V
V F F
F VMa F
F F V
49
Cuadro 3.5: Tabla de verdad de la equivalencia.
P : 6 es par
Q: 6 es divisible por 4
o
R: n es impar
S: n deja residuo 1 al dividirse por 2
ut
pues para los números enteros significa lo mismo ser impar a dejar residuo
it
para denotar que dos afirmaciones tienen el mismo significado. Por ejemplo,
es correcto escribir x2 − y = 1 en el sentido que la igualdad está dada para dos
números (objetos) que son x2 − y y 1, pero no es correcto escribir x2 − y ⇔ 1,
LÓGICA
MATEMÁTICA
s
dado que no se están relacionando afirmaciones a las cuales se les puede dar
ca
un valor de verdad. Del mismo modo, si
ti
Q : τ es un triángulo cuyos tres ángulos son iguales
má
iguales ya que no representan cosas.
te
construir afirmaciones más complejas a las cuales también se les puede asociar
una tabla de verdad.
50
Ma
Ejemplo 3.3. Establecer la tabla de verdad de (¬P ∨ Q) ∧ P .
P Q ¬P ¬P ∨ Q (¬P ∨ Q) ∧ P
ut
V V F V V
V F F F F
F V V V F
F F V V F
Lógica Matemática I
it
P Q (¬P ∨ Q) ∧ P
V V V
In
V F F
F V F
F F F
SEMILLEROS de
MATEMÁTICAS
s
Con esta tabla, podemos hallar la tabla de verdad de la afirmación ((¬P ∨
ca
Q) ∧ P ) ⇔ (P ∧ Q), ası́
P Q (¬P ∨ Q) ∧ P P ∧Q ((¬P ∨ Q) ∧ P ) ⇔ (P ∧ Q)
ti
V V V V V
V F F F V
F V F F V
má
F F F F V
Nótese que los valores de verdad de estas afirmaciones no dependen del sig-
te
nificado de P ni de Q, sino de sus valores de verdad, de modo que podemos
conocer si la afirmación es cierta o falsa respecto a cada “interpretación” que
se tome para P y Q. Por ejemplo, si P es “Sócrates es hombre” y Q es “Sócra-
tes es mortal”, entonces (¬P ∨ Q) ∧ P ) representa “o Sócrates no es hombre
Ma
o es mortal, y Sócrates es hombre”. Analizar el significado de esta afirmación 51
nos permite concluir que es verdadera, sin embargo, matemáticamente solo
necesitamos verificar que P y Q son ciertas para concluir que la afirmación
compuesta es verdadera. Al analizar ((¬P ∨ Q) ∧ P ) ⇔ (P ∧ Q) nos damos
de
s
EJERCICIOS
ca
1. Determine cuáles de las siguientes b) El guasón tiene el pelo verde y
expresiones son afirmaciones.
ti
no tiene la cara blanca.
má
d ) Al guasón le gusta comer bre-
c) ¿Mañana va a llover?
vas y tiene el pelo verde, o tie-
d ) −1 < 2. ne la cara blanca.
te
e) Llámame el viernes si no vas a e) No es el caso que el guasón ten-
salir. ga la cara blanca o el pelo ver-
f ) Si x > 4, entonces x3 ≥ 2 de.
52
g) x2 + y 2 = 1.
Ma f ) El guasón tenga la cara blanca
y el pelo verde, o tiene la cara
2. Sean A: “Estoy feliz” B: “Estoy
blanca y le gusta comer brevas.
viendo una pelı́cula” y C: “Estoy
comiendo pizza”. Transcriba las si- 4. Suponga que E es una afirmación
de
c) (B ∨ C) ⇒ A son falsas.
d ) B ∨ (C ⇒ A)
ut
a) E ∨ G
e) (B ⇒ ¬A) ∨ (C ⇒ ¬A)
b) (G ∧ H) ∨ F
f ) (A ∨ ¬B) ⇔ (B ∨ C)
Lógica Matemática I
c) ¬(E ∧ F )
it
s
Determine cuáles de las siguien- a) A ∧ ¬B
ca
tes afirmaciones son verdaderas y
b) (P ∨ Q) ∧ ¬P
cuáles son falsas.
c) A ∨ (¬B ∨ C)
ti
a) A Juan le gusta la fruta y la
zanahoria. d ) (M ∨ N ) ∧ (M ∨ N )
má
yuca y no le gusta la zanaho-
ria. 7. Escriba el recı́proco y el contra-
rrecı́proco de las siguientes afirma-
c) A Juan le gusta la zanahoria
ciones.
te
o a él le gustan la fruta y el
manı́.
a) Si hoy es martes, mañana es
d ) A Juan le gusta la fruta o el Ma miércoles.
manı́ y a él le gustan la za-
nahoria o la yuca. b) Pienso, luego existo.
53
c) Si x2
+ 2x + 1 = 0 entonces
6. Realice una tabla de verdad para
x = −1.
cada una de las siguientes afirma-
de
PEQUEÑOS RETOS
1
3
la zona aledaña puede ingresar final-
4 A mente por cualquiera de las puertas
de ingreso, siguiendo únicamente las
El diagrama muestra las rutas de ac-
rutas indicadas por las flechas.
st
s
es: c) Si una persona pasó por la
ca
a) Encontró un puesto de con- guı́a 5, entonces, pasó por la
trol guı́a 6
d ) Si una persona no pasa por
ti
b) Encontró dos puestos de con-
trol la guı́a 6, entonces, tiene que
pasar por la guı́a 5
c) Encontró tres puestos de con-
má
trol 4. Si aceptamos como verdadera la
d ) No encontró puestos de con- proposición “Una persona que in-
trol gresó por la guı́a 1, se encuentra
te
ahora dentro del estadio y cruzó
2. Aceptando como verdadera la
por más de un puesto de control”.
afirmación: “Una persona que in-
Entonces de las afirmaciones si-
gresó por la guı́a 1, encontró so- Ma guientes, de la única que se tiene
lamente dos puestos de control en
54 su recorrido al estadio”. Entonces
certeza es:
it
s
a) La puerta 1. frente al público en la mesa principal.
ca
b) La puerta 2. Además se tienen las siguientes con-
diciones:
c) La puerta 3.
ti
d ) Cualquier puerta.
A y G no pueden ocupar posiciones
6. Tres amigas, Inés, Sandra y Eli- contiguas
sa sostienen la siguiente conver-
má
R y A ocupan posiciones contiguas
sación:
R no está ubicado en un extremo y
Inés: yo soy menor de edad.
no está contiguo a S.
te
Sandra: Inés miente.
Elisa: Sandra es mayor de edad. M no está contigua ni a G, ni a S
56
In
st
LÓGICA
MATEMÁTICA
it
ut
o
de
Ma
te
má
ti
ca
s