5.logica Matematica1-2

s Universidad de Antioquia • Semilleros de Matemáticas • 2018
ca
LÓGICA MATEMÁTICA
ti
má
te
SEMILLEROS DE
Ma
MATEMÁTICAS
de
o
ut
Luis Fernando Echeverri D.

Edwin Zarrazola R.
it
Pedro Hernández R.
Cristhian Zuluaga H.
st
Alejandro Piedrahita H.
In
Instituto de Matemáticas
Universidad de Antioquia
s
SEMILLERO DE MATEMÁTICAS - LÓGICA MATEMÁTICA
ca
Tercera edición: 2018
©Universidad de Antioquia
©Semilleros de Matemáticas
ti
Diseño y diagramación original en LATEX:
Paulo Mora Noguera
e-mail: [email protected]
má
Actualización de diseño y diagramación en LATEX:
te
Todos los derechos reservados.
Esta publicación no puede ser reproducida, ni en todo ni en parte, por ningún medio inventado o
por inventarse, sin el permiso previo, por escrito, del Semillero de Matemáticas de la Universidad
de Antioquia. Ma
de
o
El Instituto de Matemáticas de la Universidad de Antioquia, a través del Semillero de Matemáticas,

ut
ofrece a estudiantes de enseñanza media y público en general los siguientes programas de extensión:
Semillero de Matemáticas grado 6° Razonamiento lógico I

Semillero de Matemáticas grado 7° Razonamiento lógico II
it
Semillero de Matemáticas grado 8°

Álgebra y trigonometrı́a
Cálculo diferencial
st
Información de contacto
In
Ciudad Universitaria
Bloque 6 - Oficina 109
Teléfono: (574) 2195648
E-mail: [email protected]
http://ciencias.udea.edu.co/semilleros/
s
ca
3
ti
LÓGICA MATEMÁTICA I
má
te
Reseña Histórica
La lógica estudia los razonamientos que nos per-

Ma
miten determinar la validez de un argumento,
independientemente del contenido especı́fico del
discurso y de la lengua utilizada en su expresión
y de los estados reales a los que dicho conteni-
do se pueda referir. Al estudio matemático de la
de
lógica y la aplicación de la lógica formal a otras

áreas de las matemáticas, se le denomina lógica
matemática.
Figura 3.1: Aristóteles Los principios básicos de la lógica y sus aplica-

o
ciones en matemáticas se remontan a la Antigua

Grecia. El filósofo griego Aristóteles (figura 3.1) proporcionó el primer tra-
ut
tado de lógica proposicional. Su trabajo es considerado más “informal” que

“simbólico”, por haber sido desarrollado en el contexto de los lenguajes natu-
rales, y fue sólo hasta 20 siglos después que las ideas propuestas por Aristóteles
it
condujeron al lenguaje moderno de la lógica matemática.
En el siglo XVII, el filósofo y matemático alemán Gottfried Leibniz, uno de

st
los precursores del cálculo, orientó su trabajo a la creación de un lenguaje

simbólico de razonamiento que permitiera resolver problemas bien definidos
no solo en matemáticas, sino también en otras áreas de las ciencias naturales
y otras disciplinas.
In
LÓGICA
MATEMÁTICA
s
ca
Casi dos siglos después los matemáticos ingleses Augustus De Morgan y Geor-
ge Boole extendieron las ideas de Leibniz dando origen a la lógica simbólica
moderna. De Morgan es reconocido, entre otras cosas, por las leyes de la lógi-
ti
ca proposicional que llevan su nombre, mientras que George Boole es famoso
por el desarrollo de las llamadas “álgebras de Boole”, herramienta utilizada
para el diseño de circuitos digitales, entre otras muchas aplicaciones.
má
A finales de 1800 el matemático alemán Gottlob Frege, e independientemente
el matemático italiano Giuseppe Peano, desarrollaron la lógica de predica-
te
dos. Frege presentó el primer desarrollo formal de la lógica de cuantificadores,
mientras que Peano creó muchos de los sı́mbolos que actualmente son utiliza-
dos en ló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 matemáticas (historia que continuaremos en el taller 4).
de
OBJETIVO GENERAL
Estudiar y comprender el lenguaje de la lógica clásica que fundamenta los
métodos de razonamiento propios de las matemáticas.
o
INTRODUCCIÓN
ut
Los seres humanos utilizamos lenguajes naturales como el español, inglés,

francés, etc., para propósitos generales de comunicación. Estos lenguajes se
Lógica Matemática I
diferencian de “lenguajes artificiales” como los utilizados en el estudio de

it
la lógica (lenguajes formales) o los utilizados en ciencias de la computación

(lenguajes de programación).
st
La lógica estudia los procesos de inferencia presentes en un razonamiento. Pa-

ra estudiar las leyes involucradas en estos procesos, la lógica utiliza lenguajes
formales con el fin de evitar las ambigüedades e imprecisiones presentes en los
In
lenguajes naturales y establecer con claridad los elementos que son realmente
importantes para reconocer los razonamientos lógicamente válidos.
SEMILLEROS de
MATEMÁTICAS
s
El Cálculo Proposicional es la primera forma en la lógica clásica sobre la cual
ca
se analizan el argumento lógico mediante métodos matemá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
continuación introducimos paso a paso cada sı́mbolo de este lenguaje, junto
con su respectiva interpretación.
má
EL CÁLCULO PROPOSICIONAL
te
Definició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 : Está nevando.
R : Las tortugas vuelan.
de
En el ejemplo anterior, P es una afirmación verdadera, Q es verdadera o falsa

según el contexto y R es falsa (al menos en este planeta). Es importante que
una afirmación representada por una letra pueda tomar un valor de verdad,
por lo cual denotamos por V el valor verdad, y por F el valor falso. Por ejemplo,
√
frases como “ 2” o “dos aviones” o “levántate” o “préstame dinero” no se
o
consideran afirmaciones, puesto que no toman valores de verdad. Por lo tanto,

ut
no se consideran como afirmaciones del cálculo proposicional.
Los siguientes signos los llamaremos sı́mbolos lógicos, son operadores que se
it
aplican a afirmaciones para modificar su valor de verdad. Cada sı́mbolo lógico

tiene su propio significado y su tabla de verdad, la cual se define en relación
a su significado.
st
Definición 3.2 (Negación ¬).

Si P representa una afirmación, ¬P denota la negación de P y se lee
In
como “no P ” o “negación de P ”.

LÓGICA
MATEMÁTICA
s
Retomando el ejemplo anterior, ¬P representa “1 + 2 6= 3”, ¬Q es “No está
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 negación está dada por
P ¬P
má
V F
F V
Cuadro 3.1: Tabla de verdad de la negación.
te
Definición 3.3 (Disyunción ∨).
Dadas dos afirmaciones P y Q, denotamos por P ∨Q la disyunción entre
Ma
P y Q, la cual se lee P ó Q. É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: Está nevando.
R: 2 ∈ ∅ (∅ representa el conjunto vacı́o)
S: Los seres humanos son mamı́feros.
o
entonces P ∨ R significa “1 + 2 = 3 o 2 ∈ ∅”, la cual es una afirmación

verdadera, pues al menos 1 + 2 = 3 es verdad; Q ∨ S significa “está nevando
ut
o los seres humanos son mamı́feros”, lo cual es verdad, ya que “los seres
humanos son mamı́feros” es verdad, sin importar qué valor de verdad tome
Q. En caso en que no estuviese nevando en este momento, Q ∨ R es una
it
afirmación falsa, pues ninguna de las dos opciones Q ni R son verdaderas.
De una forma más esquemática, para dos afirmaciones arbitrarias P y Q,

st
presentamos la tabla de verdad de la disyunción como1

1
En la lógica clásica la disyunción se toma inclusiva, es decir, que es verdadera incluso
cuando P y Q son verdaderas. Una disyunción exclusiva es verdad cuando sólo una de las
In
dos opciones es verdadera. No hay necesidad de introducir un sı́mbolo para este tipo de
disyunción, pues más adelante se puede ver que está representada por ¬(P ⇔ Q).
SEMILLEROS de
MATEMÁTICAS
s
ca
P Q P ∨Q
V V V
V F V
F V V
ti
F F F
Cuadro 3.2: Tabla de verdad de la disyunción.
má
Definición 3.4 (Conjunción ∧).
Dadas dos afirmaciones P y Q, denotamos por P ∧ Q la conjunción
te
entre P y Q, la cual se lee P y Q. Ésta representa que se cumplen ambas
afirmaciones P y Q.
Ma
Si consideramos el ejemplo presentado para la disyunció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
está lloviendo”, lo cual será verdadero sólo en caso de que Q sea verdadera,
de
y P ∧ S representa “1 + 2 = 3 y el ser humano es un mamı́fero”, lo cual es

verdadero. Lo anterior se expresa de una forma más sencilla con la tabla de
verdad correspondiente a la conjunción, para P y Q letras arbitrarias.
P Q P ∧Q
V V V
o
V F F
ut
F V F
F F F
Cuadro 3.3: Tabla de verdad de la conjunción.

it
Definición 3.5 (Implicación ⇒).

Este sı́mbolo es muy importante en Cálculo Proposicional, pues expresa la
st
relación de causa y efecto entre dos afirmaciones. P ⇒ Q se lee de varias

formas, como “P implica Q”, “P es causa de Q”, “de P se sigue Q”,
“si P entonces Q”, “P es condición suficiente para Q”, “Q es condición
In
necesaria para P ”, “P solo si Q”, entre otras.

LÓGICA
MATEMÁTICA
s
Dada una implicación P ⇒ Q, llamamos P el antecedente de la implicación,
ca
y a Q el consecuente de la implicación. El valor de verdad de P ⇒ Q se define
bajo la clá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
má
F V V
F F V
te
Cuadro 3.4: Tabla de verdad de la implicación.
Bajo la cláusula es evidente el valor en la primera y segunda fila de la tabla,
48
Ma
pues la consecuencia de una afirmación verdadera no puede ser falsa, sino
verdadera. El valor de P ⇒ Q en la última fila es V debido a la ley del con-
trarrecı́proco: “nunca se pueden cumplir las causas de una afirmación falsa”;
en la tercera fila el valor se presenta más como una convención respecto a que
“causas falsas pueden tener consecuencias verdaderas”.
de
Consideremos el siguiente ejemplo:
P : 4 divide a 3
Q: 3 es par
R: Sócrates es hombre
o
S: Sócrates es mortal
ut
La afirmación R ⇒ S dice que “si Sócrates es hombre, entonces es mortal”, lo

cual es verdadero ya que todos los hombres son mortales. Sin embargo, R ⇒ Q
es falsa, pues significa “si Sócrates es hombre, entonces 3 es par” indicando
it
que una afirmación verdadera (Sócrates es hombre) tiene una consecuencia

falsa (3 es par). Por otra parte, Q ⇒ S es verdadera ya que, aunque tiene
una causa falsa, la consecuencia es verdadera. Por último, P ⇒ Q es verdad,
st
aunque ambas afirmaciones P y Q sean falsas. Esto se debe a que “todo

número divisible por cuatro es par” y si se supone que 3 es divisible por
cuatro (sin importar que sea falso) su consecuencia será, ineludiblemente, que
In
3 es par.
SEMILLEROS de
MATEMÁTICAS
s
ca
Definició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 términos de tablas de verdad, que tienen el mismo
valor de verdad.
má
Bajo esta clá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.
Es decir, P ⇔ Q es verdad sólo cuando P y Q tienen el mismo valor de verdad

de
(es decir, el mismo significado). P ⇔ Q también se lee “P si y solo si Q”, “P

es condición necesaria y suficiente para Q”, entre otras formas. Por ejemplo,
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
de donde P ⇔ Q es falsa, pues P es cierta y Q es falsa, dando lugar a que

ambas no tienen el mismo significado. Por otra parte, R ⇔ S es verdadera,
pues para los números enteros significa lo mismo ser impar a dejar residuo
it
1 al dividirse por 2. Dependiendo del valor de n, ambas afirmaciones R y S

tendrán el mismo valor de verdad V ó F, lo cual las hará equivalentes.
st
Observación 3.1. El uso de ⇔ tiene connotaciones muy parecidas al sı́mbolo

igual (=), por eso hay que tener precaución al usar ambos sı́mbolos. El sı́mbolo
= se utiliza para indicar que dos objetos son el mismo, mientras que ⇔ se usa
In
para denotar que dos afirmaciones tienen el mismo significado. Por ejemplo,
es correcto escribir x2 − y = 1 en el sentido que la igualdad está dada para dos
números (objetos) que son x2 − y y 1, pero no es correcto escribir x2 − y ⇔ 1,
LÓGICA
MATEMÁTICA
s
dado que no se están relacionando afirmaciones a las cuales se les puede dar
ca
un valor de verdad. Del mismo modo, si
P : τ es un triángulo equilátero (es decir, tiene los tres lados iguales)
ti
Q : τ es un triángulo cuyos tres ángulos son iguales
es lı́cito afirmar P ⇔ Q, pero no P = Q. Aunque P y Q significan lo mismo y

pueden sustituirse en una afirmación más extensa, no se puede decir que son
má
iguales ya que no representan cosas.
Combinando los elementos del lenguaje del Cálculo Proposicional, podemos
te
construir afirmaciones más complejas a las cuales también se les puede asociar
una tabla de verdad.
50
Ma
Ejemplo 3.3. Establecer la tabla de verdad de (¬P ∨ Q) ∧ P .
El procedimiento para hallar la tabla de verdad de una afirmación con varios

conectivos lógicos consta de hallar los valores de verdad de las afirmaciones
pequeñas, y utilizar éstas para hallar el valor de verdad de las afirmaciones
de
grandes. En este caso, hallamos los valores de verdad de ¬P , luego de ¬P ∨ Q

y finalmente de la afirmación completa, en cada paso ayudándonos de los
valores hallados en los pasos anteriores. La siguiente tabla muestra el orden
en el cual ejecutamos esta labor.
o
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
it
Si quitamos los pasos intermedios para hallar los valores de (¬P ∨ Q) ∧ P ,

obtenemos la siguiente tabla:
st
P Q (¬P ∨ Q) ∧ P
V V V
In
V F F
F V F
F F F
SEMILLEROS de
MATEMÁTICAS
s
Con esta tabla, podemos hallar la tabla de verdad de la afirmació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
má
F F F F V
Nó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 afirmación es cierta o falsa respecto a cada “interpretación” que
se tome para P y Q. Por ejemplo, si P es “Sócrates es hombre” y Q es “Sócra-
tes es mortal”, entonces (¬P ∨ Q) ∧ P ) representa “o Sócrates no es hombre
Ma
o es mortal, y Sócrates es hombre”. Analizar el significado de esta afirmación 51
nos permite concluir que es verdadera, sin embargo, matemáticamente solo
necesitamos verificar que P y Q son ciertas para concluir que la afirmación
compuesta es verdadera. Al analizar ((¬P ∨ Q) ∧ P ) ⇔ (P ∧ Q) nos damos
de
cuenta que es verdadera independientemente de los valores de verdad que to-

men P y Q, por lo cual se puede deducir que (¬P ∨ Q) ∧ P ) significa lo mismo
que P ∧ Q. Por lo tanto, es lo mismo decir “o Sócrates no es hombre o es
mortal, y Sócrates es hombre” a decir “Sócrates es hombre y es mortal”.
o
Por otra parte, si P es “n es par” y Q es “n es impar”, entonces (¬P ∨ Q) ∧ P )

denota “o n es impar o es impar, y n es par” pero, como esto significa lo mismo
ut
que P ∧ Q, es decir, “n es par e impar”, directamente se infiere que es falsa,

sin necesidad de analizar la afirmación larga.
it
st
In
LÓGICA
MATEMÁTICA
s
EJERCICIOS
ca
1. Determine cuáles de las siguientes b) El guasón tiene el pelo verde y
expresiones son afirmaciones.
ti
no tiene la cara blanca.
a) Hoy es un bonito dı́a c) El guasón tiene el pelo verde o

a él le gusta comer brevas.
b) ¡Ve a trabajar!
má
d ) Al guasón le gusta comer bre-
c) ¿Mañana va a llover?
vas y tiene el pelo verde, o tie-
d ) −1 < 2. ne la cara blanca.
te
e) Llámame el viernes si no vas a e) No es el caso que el guasó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 guasó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 afirmación
de
guientes frases en afirmaciones del verdadera, F es una afirmación fal-

cálculo proposicional. sa, G es una afirmación falsa y H es
una afirmación verdadera. Deter-
a) C ⇒ A
mine cuáles de las siguientes afir-
b) A ⇔ B
maciones son verdaderas y cuáles
o
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)
c) ¬(E ∧ F )
it
3. Sean X: “El guasón tiene el pelo d ) ¬H ∨ ¬G

verde”, Y : “El guasón tiene la ca-
e) (H ∧ E) ∨ (F ∧ G)
ra blanca” y Z: “Al guasón le gus-
st
ta comer brevas”. Transcriba las si- f ) (E ∨ ¬F ) ⇐⇒ (F ∨ G)

guientes frases en afirmaciones del g) (G ∨ [H ∨ (E ∧ F )]
cálculo proposicional.
In
5. Suponga que a Juan le gusta la fru-

a) Al guasón no le gusta comer ta, no le gusta la zanahoria, le gus-
brevas. ta el manı́ y no le gusta la yuca.
SEMILLEROS de
MATEMÁTICAS
s
Determine cuáles de las siguien- a) A ∧ ¬B
ca
tes afirmaciones son verdaderas y
b) (P ∨ Q) ∧ ¬P
cuáles son falsas.
c) A ∨ (¬B ∨ C)
ti
a) A Juan le gusta la fruta y la
zanahoria. d ) (M ∨ N ) ∧ (M ∨ N )
b) A Juan le gusta el manı́ o la e) (A ∧ C) ∨ ¬(B ∧ D)
má
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 él le gustan la fruta y el
manı́.
a) Si hoy es martes, mañana es
d ) A Juan le gusta la fruta o el Ma miércoles.
manı́ y a é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
ciones. d ) Un múltiplo de 9 es impar.
PEQUEÑOS RETOS
Problemas (1)-(4) aledaña a éste y C1 , C2 , C3 y C4 indi-

o
can puestos de control fijados por las

7 8 D
ut
C 4 autoridades para requisar a todas las

6 C
C
3
personas que ingresan al estadio. Una
1 2
5 C B
persona que ingresa por la guı́a 1 a
2
C
it
1
3
la zona aledaña puede ingresar final-
4 A mente por cualquiera de las puertas
de ingreso, siguiendo únicamente las
El diagrama muestra las rutas de ac-
rutas indicadas por las flechas.
st
ceso a las puertas de ingreso A, B, C,

D de un estadio. Los números del 1 al
8 representan guı́as que señalan la di- 1. De las afirmaciones siguientes la
In
rección de la circulación para el públi- única que no es posible, para

co que accede al estadio en la zona una persona que hizo su recorrido
entre la guı́a 1 e ingresó al estadio
LÓGICA
MATEMÁTICA
s
es: c) Si una persona pasó por la
ca
a) Encontró un puesto de con- guı́a 5, entonces, pasó por la
trol guı́a 6
d ) Si una persona no pasa por
ti
b) Encontró dos puestos de con-
trol la guı́a 6, entonces, tiene que
pasar por la guı́a 5
c) Encontró tres puestos de con-
má
trol 4. Si aceptamos como verdadera la
d ) No encontró puestos de con- proposición “Una persona que in-
trol gresó por la guı́a 1, se encuentra
te
ahora dentro del estadio y cruzó
2. Aceptando como verdadera la
por más de un puesto de control”.
afirmación: “Una persona que in-
Entonces de las afirmaciones si-
gresó por la guı́a 1, encontró so- Ma guientes, de la única que se tiene
lamente dos puestos de control en
54 su recorrido al estadio”. Entonces
certeza es:
de las afirmaciones siguientes, de a) La persona pasó por la guı́a 8

la única que se tiene certeza b) La persona pasó por la guı́a 6
es: c) La persona pasó por la guı́a 5
de
a) La persona no ingresó por la d ) La persona pasó por la guı́a 7

puerta A 5. Un prisionero tiene la posibilidad
b) La persona no ingresó por la de obtener su libertad si escoge
puerta B una puerta adecuada entre 3 da-
o
c) La persona no ingresó por la das. En cada una de las puertas

ut
puerta C hay una inscripción, pero sólo una

d ) La persona no ingresó por la de ellas es verdadera, estas son:
puerta D Puerta 1: Esta puerta conduce
it
3. De las proposiciones siguientes la a la libertad.

única verdadera es: Puerta 2: Esta puerta no con-
duce a la libertad.
st
a) Si una persona no pasó por la

guı́a 6, entonces, no pasó por Puerta 3: La puerta 1 no con-
la guı́a 5 duce a la libertad.
In
b) Si una persona pasó por la La puerta que el prisionero debe

guı́a 6, entonces, pasó por la escoger para tener la certeza de
guı́a 5 alcanzar su libertad es:
SEMILLEROS de
MATEMÁTICAS
s
a) La puerta 1. frente al público en la mesa principal.
ca
b) La puerta 2. Ademá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, Inés, Sandra y Eli- contiguas
sa sostienen la siguiente conver-
má
R y A ocupan posiciones contiguas
sación:
R no está ubicado en un extremo y
Inés: yo soy menor de edad.
no está contiguo a S.
te
Sandra: Inés miente.
Elisa: Sandra es mayor de edad. M no está contigua ni a G, ni a S
Se sabe que sólo una de ellas

miente y que sólo una es mayor de
Ma 7. De las siguientes situaciones, la
55
única que no es posible es:
edad. La que miente y la es mayor
de edad son respectivamente: a) G está entre S y R
a) Sandra y Sandra. b) S está en un extremo

de
b) Sandra y Elisa. c) A está entre S y R
c) Elisa y Sandra. d ) M no está en un extremo

d ) Inés y Sandra. 8. De los ordenamientos que se indi-
can a continuación, el único posi-
o
Problemas (7)-(8) ble es:

ut
Cinco personajes A, G, M, R, S, que a) A R G M S

ocupan altos cargos en el sector públi-
b) S A R G M
co presiden un foro regional. Las nor-
it
mas del protocolo establecen restric- c) M S A R G

ciones sobre su ubicación en lı́nea, d) M A R G S
st
In
56
In
st
LÓGICA
MATEMÁTICA
it
ut
o
de
Ma
te
má
ti
ca
s
s Universidad de Antioquia • Semilleros de Matemáticas • 2018
ca
LÓGICA MATEMÁTICA
ti
má
te
SEMILLEROS DE
Ma
MATEMÁTICAS
de
o
ut
Luis Fernando Echeverri D.

Edwin Zarrazola R.
it
Pedro Hernández R.
Cristhian Zuluaga H.
st
In
Instituto de Matemáticas
s
SEMILLERO DE MATEMÁTICAS - LÓGICA MATEMÁTICA
ca
Tercera edición: 2018
©Universidad de Antioquia
©Semilleros de Matemáticas
ti
Diseño y diagramación original en LATEX:
Paulo Mora Noguera
má
Actualización de diseño y diagramación en LATEX:
te
Todos los derechos reservados.
Esta publicación no puede ser reproducida, ni en todo ni en parte, por ningún medio inventado o
por inventarse, sin el permiso previo, por escrito, del Semillero de Matemáticas de la Universidad
de Antioquia. Ma
de
o
El Instituto de Matemáticas de la Universidad de Antioquia, a través del Semillero de Matemáticas,

ut
ofrece a estudiantes de enseñanza media y público en general los siguientes programas de extensión:
Semillero de Matemáticas grado 6° Razonamiento lógico I

Semillero de Matemáticas grado 7° Razonamiento lógico II
it

Álgebra y trigonometrı́a
Cálculo diferencial
st
Información de contacto
In
Ciudad Universitaria
Bloque 6 - Oficina 109
Teléfono: (574) 2195648
E-mail: [email protected]
http://ciencias.udea.edu.co/semilleros/
s
ca
4
ti
LÓGICA MATEMÁTICA II
má
te
Reseña Histórica
Los seres humanos utilizamos lenguajes natura-

Ma
les como el español, inglés, francés, etc., para
propósitos generales de comunicación. Estos len-
guajes se diferencian de “lenguajes artificiales”
como los utilizados en el estudio de la lógica (len-
guajes formales) o los utilizados en ciencias de
de
la computación (lenguajes de programación).

Figura 4.1: B. Russell
La lógica estudia los procesos de inferencia pre-
sentes en un razonamiento. Para estudiar las le-
yes involucradas en estos procesos, la lógica utiliza lenguajes formales con el
o
fin de evitar las ambigüedades e imprecisiones presentes en los lenguajes na-

turales y establecer con claridad los elementos que son realmente importantes
ut
para reconocer los razonamientos lógicamente válidos.
A finales del siglo XIX, las “contradicciones” encontradas en la teorı́a de con-

it
juntos dejarı́an en evidencia los peligros de utilizar razonamientos informales

e intuitivos en matemáticas. La atención de los matemáticos a comienzos del
siglo XX se centró en reducir la importancia de los lenguajes naturales en
st
matemáticas.
Las ideas desarrolladas por Peano y Frege fueron extendidas por los ma-
temáticos ingleses Bertrand Russell (figura 4.1) y Alfred North Whitehead
In
en su monumental obra de 2000 páginas Principia Mathematica, en la que

LÓGICA
MATEMÁTICA
s
ca
tras una década de arduo trabajo, intentaron formular todas la matemáticas
en términos de la lógica. Su trabajo pretendı́a que la lógica no sólo pudiese
ser considerada como herramienta para ser utilizada en matemáticas, sino
ti
también que sirviera como fundamento de todos los conceptos matemáticos.
Aunque no tuvieron éxito en su objetivo, Russell y Whitehead establecieron
las bases que permitieron fundamentar las matemáticas no sólo en términos
má
de la lógica, sino tambı́en de la teorı́a de conjuntos.
Las matemáticas se fundamentan sobre la Lógica Clásica (y la teorı́a de con-
te
juntos) y es en la lógica clásica que centramos el contenido de este taller y el
anterior; el próximo taller lo dedicaremos al estudio de la teorı́a de conjuntos.
58
Ma
OBJETIVO GENERAL
Estudiar y comprender el lenguaje de la lógica clásica que fundamenta los
métodos de razonamiento propios de las matemáticas.
de
REGLAS DE INFERENCIA
Las reglas de inferencia constituyen esquemas para construir inferencias váli-
das. Estos esquemas establecen relaciones sintácticas entre un conjunto de
o
fórmulas llamadas premisas y una aserción llamada conclusión.

ut
Definición 4.1 (Tautologı́a, Contradicción).

Una tautologı́a es una afirmación cuya tabla de verdad siempre toma
Lógica Matemática II
el valor V. Una contradicción es una afirmación cuya tabla de verdad

it
siempre toma el valor F.

st
Ejercicio 4.1. Determine si las siguientes proposiciones son tautologı́as, con-

tradicciones o ninguna de las anteriores.
1. ((¬P ∨ Q) ∧ P ) ⇔ (P ∧ Q) 4. P ∧ ¬P
In
2. P ∨ ¬P 5. P ⇔ ¬P
3. P ⇒ P 6. (P ⇒ Q) ∧ (P ∧ ¬Q)
SEMILLEROS de
MATEMÁTICAS
s
Solución. ((¬P ∨Q)∧P ) ⇔ (P ∧Q) es una tautologı́a (ver ejemplo anterior),
ca
P ∨ ¬P , P ⇒ P y P ⇔ P también son tautologı́as. P ∧ ¬P , P ⇔ ¬P y
(P ⇒ Q)∧(P ∧¬Q) son contradicciones. Pero (¬P ∨Q)∧P ) no es tautologı́a ni
contradicción (ver ejemplo anterior). Ver las tablas de verdad a continuación.
ti
P ¬P P ∨ ¬P P ⇒P P ⇔P P ∧ ¬P P ⇔ ¬P
V F V V V F F
má
F V V V V F F
P Q ¬Q P ⇒Q P ∧ ¬Q (P ⇒ Q) ∧ (P ∧ ¬Q)
te
V V F V F F
V F V F V F
F V F V F F
F F V V
MaF F
59
X

Las tautologı́as son las afirmaciones más importantes en la lógica simbóli-

de
ca ya que, como son verdaderas independientemente del valor de verdad de

sus letras, se consideran como leyes del razonamiento y, por lo tanto, son
afirmaciones que describen la naturaleza de los sı́mbolos lógicos y sus propie-
dades. Las contradicciones tienen una importancia equivalente porque toda
contradicción equivale a la negación de una tautologı́a.
o
ut
Propiedad 4.1.
Las siguientes afirmaciones son tautologı́as.
1. P ⇒ P .
it
3. P ∨ ¬P (Tercer excluı́do).
2. P ⇔ P .
st
A continuación, un listado de afirmaciones muy importantes que son tauto-

logı́as.
In
LÓGICA
MATEMÁTICA
s
ca
Propiedad 4.2 (Principales Equivalencias Lógicas).
1. ¬¬P ⇔ P (Doble negación).
ti
2. (P ∨ Q) ⇔ (Q ∨ P ) (Conmutatividad de la disyunción).
3. (P ∧ Q) ⇔ (Q ∧ P ) (Conmutatividad de la conjunción).
má
4. ((P ∨ Q) ∨ R) ⇔ (P ∨ (Q ∨ R)) (Asociatividad de la disyunción).
5. ((P ∧ Q) ∧ R) ⇔ (P ∧ (Q ∧ R)) (Asociatividad de la conjunción).
te
6. (P ∨ (Q ∧ R)) ⇔ ((P ∨ Q) ∧ (P ∨ R)) (Ley distributiva).
7. (P ∧ (Q ∨ R)) ⇔ ((P ∧ Q) ∨ (P ∧ R)) (Ley distributiva).

Ma
60 8. ¬(P ∨ Q) ⇔ (¬P ∧ ¬Q) (ley D’Morgan).
9. ¬(P ∧ Q) ⇔ (¬P ∨ ¬Q) (ley D’Morgan).
10. ¬(P ⇒ Q) ⇔ (P ∧ ¬Q) (Negación de la implicación)

de
11. (P ⇒ Q) ⇔ (¬Q ⇒ ¬P ) (Contrarrecı́proco).
12. (P ⇔ Q) ⇔ ((P ⇒ Q) ∧ (Q ⇒ P )) (Principio de doble implicación).

o
13. (P ⇔ Q) ⇔ (Q ⇔ P ) (Conmutatividad de la equivalencia).

ut
14. (P ⇒ Q) ⇔ (¬P ∨ Q).
15. (P ∧ Q) ⇔ ¬(¬P ∨ ¬Q).

it
16. (P ∨ P ) ⇔ P .
17. (P ∧ P ) ⇔ P .
st
Observación 4.1. En adelante, diremos que dos afirmaciones son equi-

valentes cuando la equivalencia entre ambas sea una tautologı́a. Según el
In
resultado anterior, P ∧ Q equivale a Q ∧ P , y ¬¬P equivale a P . Por otra

parte, como ∨ y ∧ son operadores asociativos, no habrá confusión al escribir
(P ∨ Q ∨ R) ni (P ∧ Q ∧ R) sin indicar cual sı́mbolo lógico se aplica primero.
SEMILLEROS de
MATEMÁTICAS
s
Observación 4.2. De (14) y (15) se tiene que ⇒ y ∧ se pueden escribir en
ca
términos de ¬ y ∨. También, de (12), ⇔ se puede escribir en términos de ⇒
y de ∧ y, por lo tanto, en términos de ¬ y ∨. Esto indica que los sı́mbolos
¬ y ∨ bastan para construir el cálculo proposicional.
ti
Las tautologı́as citadas en la proposición 4.2 son leyes importantes que per-
miten comprobar que ciertas afirmaciones son tautologı́as sin necesidad de
má
construir su tabla de verdad, sino mediante un razonamiento “paso–a–paso”,
el cual se fundamenta en el siguiente principio.
te
Propiedad 4.3 (Principio de Sustitución.).
La sustitución de una afirmación por otra equivalente dentro de otra
afirmación genera fórmulas equivalentes.
Ma 61
Este principio se fundamenta en que dos afirmaciones equivalentes tienen el
mismo significado y funciona de forma análoga al principio de sustitución de
la igualdad: si a = b entonces a se puede sustituir por b en una ecuación,
de
generando objetos iguales. Como notación, a 6= b es lo mismo que ¬(a = b).
Ejemplo 4.1. Veamos que (P ⇒ Q) ∧ (P ∧ ¬Q) es una contradicción, sin

necesidad de construir su tabla de verdad. Del literal (10), Proposición 4.2,
tenemos que ¬(P ⇒ Q) ⇔ (P ∧ ¬Q) es una tautologı́a (la negación de la
o
implicación), por lo cual, por el Principio de Sustitución, podemos sustituir

ut
(P ∧ ¬Q) por ¬(P ⇒ Q) en la primera afirmación, lo cual genera que
(P ⇒ Q) ∧ (P ∧ ¬Q) ⇔ (P ⇒ Q) ∧ ¬(P ⇒ Q)
it
es una tautologı́a. Es claro que la afirmación de la derecha de ⇔ es una

contradicción, por lo cual también lo es su equivalente, la afirmación de la
izquierda.
st
Ejemplo 4.2. Veamos (15) de la Proposición 4.2 sin utilizar tablas de verdad.
Por (8) (ley D’Morgan) tenemos que ¬(¬P ∨ ¬Q) equivale a ¬¬P ∧ ¬¬Q y
luego, por (1) (doble negación) y el principio de sustitución, la última fórmula
In
equivale a P ∧ Q. Por lo tanto, ¬(¬P ∨ ¬Q) equivale a P ∧ Q, es decir,

(P ∧ Q) ⇔ ¬(¬P ∨ ¬Q) es una tautologı́a.
LÓGICA
MATEMÁTICA
s
Las siguientes tautologı́as se consideran como reglas de inferencia, pues ilus-
ca
tran los pasos básicos para seguir un razonamiento lógico.
Propiedad 4.4 (Reglas de inferencia.).
ti
1. ((P ⇒ Q) ∧ P ) ⇒ Q (Modus Ponens).
má
2. ((P ⇒ Q) ∧ ¬Q) ⇒ ¬P .
3. (P ∧ Q) ⇒ P (Simplificación).
te
4. (P ∧ Q) ⇒ Q (Simplificación).
5. P ⇒ (P ∨ Q) (Adición).
62
6. Q ⇒ (P ∨ Q) (Adición).
Ma
7. ((P ∨ Q) ∧ ¬P ) ⇒ Q (Eliminación de la falsa en una disyunción).
8. ((P ∨ Q) ∧ ¬Q) ⇒ P (Eliminación de la falsa en una disyunción).

de
9. (P ⇔ Q) ⇒ (P ⇒ Q) (Descomposición de la equivalencia).
10. (P ⇔ Q) ⇒ (Q ⇒ P ) (Descomposición de la equivalencia).
11. ((P ⇒ Q) ∧ (Q ⇒ P )) ⇒ (P ⇔ Q) (Composición de la equivalen-

cia)).
o
12. ((P ⇒ Q)∧(Q ⇒ R)) ⇒ (P ⇒ R) (Transitividad de la implicación).

ut
13. ((P ∨ Q) ∧ (P ⇒ R) ∧ (Q ⇒ R)) ⇒ R (Disyunción de casos).

it
Observación 4.3. En adelante, decimos que una afirmación P implica otra

afirmación Q si al formar P ⇒ Q resulta una tautologı́a. Por ejemplo, según
el resultado anterior, (P ⇒ Q) ∧ P implica a Q, y P ⇔ Q implica a Q ⇒ P .
st
Concluimos esta sección con una discusión sobre la implicación. Cuando P ⇒

Q es verdad, podemos decir que P es condición suficiente para Q, esto debido
In
a que basta que P sea verdadero para que Q sea verdadero. Por otra parte,
también decimos que Q es condición necesaria para P ya que se necesita que
Q sea verdadero para que P sea verdadero.
SEMILLEROS de
MATEMÁTICAS
s
Ejemplo 4.3. Sea P la afirmación “n es divisible por 6” y sea Q “n es
ca
divisible por 3”. Es claro que P ⇒ Q es verdad, ası́ que podemos afirmar
que “es suficiente que n sea divisible por 6 para que sea divisible por 3”, o
también que “se necesita que n sea divisible por 3 para que sea divisible por
ti
6”.
Por último, en relación con P ⇒ Q, llamamos a Q ⇒ P el recı́proco de
má
P ⇒ Q y ¬Q ⇒ ¬P se llama el contrarrecı́proco de P ⇒ Q. Es claro que
P ⇒ Q equivale a su contrarrecı́proco, pero no tiene ninguna relación con su
recı́proco. Del ejemplo anterior, el recı́proco de P ⇒ Q es “si n es divisible por
te
3 entonces es divisible por 6”, lo cual no siempre es cierto, por ejemplo, con
n = 9. Por otra parte, el contrarrecı́proco de P ⇒ Q es “si n no es divisible
por 3 entonces no es divisible por 6”, lo cual tiene sentido en relación con
Ma
P ⇒ Q, siendo su equivalente. En el caso en que P ⇒ Q y su recı́proco sean
verdaderos, se obtendrá P ⇔ Q por la parte (11) de la proposición 4.4. 63
DEDUCCIONES LÓGICAS
de
El fundamento del razonamiento, en especial en matemáticas, es la forma

de efectuar argumentos válidos mediante relaciones de causa y efecto. Esta
relación está establecida mediante la implicación y, en la proposición 4.4 de
la sección anterior, listamos las reglas de causa y efecto básicas sobre la cual
se puede fundamentar un razonamiento.
o
En la proposición 4.4 todas las reglas de inferencia

ut
tienen la forma

H1 
(H1 ∧ H2 ∧ · · · ∧ Hn ) ⇒ C, 
H2 

it
..  Hipótesis
es decir, un antecedente formado por conjunciones de . 


Hn

varias fórmulas y un consecuente. En esta implicación,
H1 , . . . , Hn representan hipótesis que permiten con- C Conclusión.
st
cluir a C. Una forma esquemática en que podemos

escribir que H1 ∧ H2 ∧ · · · ∧ Hn implica a C es:
Por ejemplo, las primeras tres reglas de inferencia en 4.4 se representan, es-
In
LÓGICA
MATEMÁTICA
s
quemáticamente, por
ca
P ⇒Q P ⇒Q
P ∧Q
P , ¬Q y
P
ti
Q ¬P
Actividad 4.1. Escribe esquemáticamente las reglas de inferencia restantes

de la proposición 4.4.
má
Otra regla de inferencia es la simultaneidad, se trata de la tautologı́a (P ∧Q) ⇒
(P ∧ Q). Como esquema, se representa por
te
P
Q
64
Ma
P ∧ Q Simultaneidad
Estos esquemas son importantes para proponer una forma de escritura con la
cual se pueden verificar implicaciones sin utilizar tablas de verdad. Lo anterior
se reduce en el siguiente resultado.
de
Propiedad 4.5 (Método de la Deducción).

Si se toman H1 , H2 , . . . , Hn como hipótesis y, mediante reglas de infe-
rencia y equivalencias se concluye C, entonces H1 ∧ H2 ∧ · · · ∧ Hn implica
a C, es decir,
o

H1 


H2
ut





· 
Hipótesis
· 


·


it



Hn

C Conclusión.
st
Ejemplo 4.4. .Veamos que

In
((P ⇔ Q) ∧ (Q ⇔ R)) ⇒ (P ⇔ R)
es una tautologı́a.
SEMILLEROS de
MATEMÁTICAS
s
Ésto, escrito como esquema, es 1. P ⇔Q Hipótesis
ca
2. Q⇔R Hipótesis
P ⇔Q 3. P ⇒Q 1, descomposición de ⇔
Q⇔R 4. Q⇒P 1, desc. de ⇔
P ⇔R 5. Q⇒R 2, desc. de ⇔
ti
De modo que basta verificar que, al to- 6. R⇒Q 2, desc. de ⇔
mar P ⇔ Q y Q ⇔ R como hipótesis, 7. P ⇒R 3,5, transitividad de ⇒
se concluye P ⇔ R. El procedimiento 8. R⇒P 4,6, transitividad de ⇒
má
se sigue de la siguiente forma: 9. P ⇔R 7,8, composición de ⇔.
Ası́, mediante las hipótesis P ⇔ Q y Q ⇔ R se concluye, por medio de reglas
te
de inferencia, que P ⇔ R, lo cual permite concluir que (P ⇔ Q) ∧ (Q ⇔ R))
implica a P ⇔ R.
Ejemplo 4.5. Consideremos la siguiente deducción: “Si la máquina es barata

Ma
ó consume mucha energı́a, entonces no es productiva. Si la máquina es roja
entonces es productiva. Pero la máquina es barata. Por lo tanto, la máquina 65
no es roja”. Este tipo de razonamientos se puede escribir mediante lógica
simbólica. Primero, asignamos letras a las frases que componen el razona-
miento, a saber,
de
B: La máquina es barata.
E: La máquina consume mucha energı́a.
P : La máquina es productiva.
R: La máquina es roja.
o
Luego, la deducción se puede escribir, en forma esquemática, ası́

ut
(B ∨ E) ⇒ ¬P Si la máquina es barata ó consume mucha energı́a, entonces no es productiva.

R⇒P Si la máquina es roja entonces es productiva.
it
B La máquina es barata.
¬R La máquina no es roja.
Nótese que las primeras tres frases se toman como hipótesis, mientras que
st
la última corresponde a la conclusión. El sentido común indica claramente

que, bajo dichas hipótesis, la máquina no es roja, pues al ser barata no es
productiva y, si fuera roja, entonces serı́a productiva. Sin embargo, indepen-
In
dientemente del significado de las frases, podemos llegar a la misma conclusión

utilizando lógica simbólica y un razonamiento mediante reglas de inferencia
LÓGICA
MATEMÁTICA
s
(como se hizo en el ejemplo anterior), lo cual se ilustra a continuación:
ca
1. (B ∨ E) ⇒ ¬P Hipótesis
2. R⇒P Hipótesis
ti
3. B Hipótesis
4. B∨E 3, adición
5. ¬P 1,4, modus ponens
má
6. ¬P ⇒ ¬R 2, contrarrecı́proco
7. ¬R 5,6, modus ponens.
te
El objetivo de la lógica simbólica es precisamente lo que se logró en el ejem-
plo anterior: convertir los razonamientos en sı́mbolos y reglas matemáticas,
independiente del significado de las afirmaciones involucradas. Esta forma de
66 matemáticas”.
Ma
proceder logra también convertir el llamado sentido común en “reglas lógico–
Ejemplo 4.6. .
1. S ⇒ (P ∨ Q) Hipótesis
S ⇒ (P ∨ Q)
de
2. S Hipótesis
S
3. ¬P Hipótesis
¬P
4. P ∨Q 1,2, modus ponens
Q
5. Q 3,4, eliminación de falsa en ∨.
o
Ejemplo 4.7. .
ut
1. P ∨ (Q ∧ P ) Hipótesis
2. S∨T Hipótesis
3. S ⇒ ¬(P ∨ Q) Hipótesis
it
4. (P ∨ Q) ∧ (P ∨ P ) 1, distributiva
P ∨ (Q ∧ P ) 5. P ∨Q 4, simplificación
S∨T 6. ¬¬(P ∨ Q) ⇒ ¬S 3, contrarrecı́proco
S ⇒ ¬(P ∨ Q) 7. (P ∨ Q) ⇒ ¬S 6, doble negación
st
P ∧T 8. ¬S 5,7, modus ponens

9. T 2,8, eliminación de la falsa en ∨
10. P ∨P 4, simplificación
In
11. P 10, equivalencia (P ∨ P ) ⇔ P

12. P ∧T 9,11, simultaneidad.
SEMILLEROS de
MATEMÁTICAS
s
EJERCICIOS
ca
1. Indica cuál de las siguientes afirmaciones es tautologı́a, contradicción, o
ninguna de las dos.
ti
a) [(¬P ∨ (Q ∧ R)) ⇒ ((R ∧ Q) ∨ Z)].
b) [R ⇒ (S ⇒ T )] ⇒ [R ⇒ T ].
má
c) [(R ⇒ S) ∧ (S ⇒ T )] ⇒ [R ⇒ T ].
d ) (X ∨ Y ) ⇔ ((¬X ⇒ Y )).
e) (A ∧ ¬B) ∧ (¬A ∨ B).
te
f ) ((X ⇔ Z) ∧ (X ⇔ Y )) ∧ X.
2. Sea T una tautologı́a y C una contradicción. Dada una afirmación P ,

verifica que las siguientes afirmaciones son tautologı́as.
Ma
a) (T ∧ P ⇔ P ) (Eliminación de una verdad en una conjunción). 67
b) (C ∨ P ⇔ P ) (Eliminación de una falsa en una disyunción).
c) T ∨ P es tautologı́a.
d ) C ∧ P es contradicción.
de
3. Justifica, mediante tautologı́as, el ejercicio anterior o tablas de verdad,

que las siguientes afirmaciones son tautologı́as.

a) (P ∧ Q) ∨ (R ∧ S) ⇔ (P ∨ R) ∧ (P ∨ S) ∧ (Q ∨ R) ∧ (Q ∨ S) .
o

b) (P ∨ Q) ∧ (R ∨ S) ⇔ (P ∧ R) ∨ (P ∧ S) ∨ (Q ∧ R) ∨ (Q ∧ S) .
c) (P ⇔ Q) ⇔ ((P ∧ Q) ∨ (¬P ∧ ¬Q)).
ut
d ) (¬(P ⇔ Q)) ⇔ (P ∧ ¬Q) ∨ (Q ∧ ¬P ).

e) (¬(P ⇔ Q)) ⇔ ((¬P ) ⇔ Q).
f ) (¬(P ⇔ Q)) ⇔ (P ⇔ (¬Q)).

it

g) P ⇔ (Q ⇔ R) ⇔ (P ⇔ Q) ⇔ R .
4. Escribe el recı́proco y el contrarrecı́proco de las siguientes afirmaciones.

st
a) Si es jueves, estoy en Bélgica.

b) Buena fachada hace buenos vecinos.
c) Si x2 + 2x + 1 = 0 entonces x = −1.
In
d ) Un múltiplo de 3 es impar.
5. Niega los siguientes enunciados.

LÓGICA
MATEMÁTICA
s
a) e5 > 0. e) w − 3 < 0 implica que w2 + 9 >
ca
b) 3 < 5 ∨ 7 ≥ 8. 6w.
c) sen π2 < 0 ∧ tan 0 ≥ 0. f ) a − b = c sii a = b + c.
ti
d ) Si y = 3 entonces y2 = 7.
6. Justifica las siguientes deducciones.
má
a) ¬P ∨ (Q ∧ R) e) L ⇒ M
P (M ∨ N ) ⇒ (L ⇒ K)
(R ∧ Q) ∨ Z ¬P ∧ L
te
b) P ∧ Q K
(P ∨ Q) ⇒ R f ) (¬A) ⇒ (B ⇒ ¬C)
R Ma C ⇒ ¬A
68 c) (¬¬X) ⇒ Y (¬D ∨ A) ⇒ ¬¬C
¬D
¬X ⇒ Z
(¬Z) ⇒ ¬¬Y ¬B
d) E ⇒ F
de
(¬G) ⇒ ¬F
H⇒I
E∨H
G∨I
o
7. Encuentra las falacias en los siguientes argumentos.

ut
a) El dinero hace honestas a las personas. Nosotros no tenemos dinero.

Luego, no somos honestos.
b) Los sordos son mudos. Pedro es mudo e invidente. Luego, Pedro es

it
sordo.
8. Transcribe el siguiente razonamiento en afirmaciones del cálculo proposi-

st
cional y demuéstralo empleando las reglas de inferencia.
a) Si Batman resuelve acertijos, entonces Batman no usa antifaz.

b) Si Batman sale en las noches, entonces Batman usa antifaz.
In
c) Si Batman no sale en las noches, entonces a Batman no le gustan las

dificultades.
SEMILLEROS de
MATEMÁTICAS
s
d ) Batman resuelve acertijos o Batman lee los diarios.
ca
e) A Batman le gustan las dificultades.
f ) Conclusión: Batman lee los diarios.
ti
9. Transcribe el siguiente razonamiento en afirmaciones del cálculo proposi-
cional y demuéstralo empleando las reglas de inferencia.
má
a) Si Oliveira está triste, entonces Oliveira lee poemas.
b) Si Oliveira lee poemas, entonces Oliveira no toma mate.
c) Oliveira está triste o ama a la Maga.
te
d ) Oliveira toma mate.
e) Conclusión: Oliveira ama a la maga.
Ma 69
PEQUEÑOS RETOS
Problemas (1)-(2). componentes.

de
1. Si se quiere conocer exactamente

```
``` Vehı́culos
```
``` V1 V2 V3 V4 V5 V6
Caracterı́sticas ```
Toyota
`
X X
el comportamiento en los vehı́cu-
Motor Ford X X X los de los chasis empleados, en-
Honda X
A1 X tonces los vehı́culos que deben so-
Chasis A2 X X X X
meterse a prueba son:
o
A3 X
Llantas
C1 X X X X X a) V1 , V2 y V4
C2 X
ut
b) V2 , V3 y V4
Una escuderı́a de competencias en la
formula Cart, dispone de 6 vehı́culos c) V2 , V4 y V5
V1 , V2 , V3 , V4 , V5 y V6 , con las carac- d ) V2 , V4 y V6
it
terı́sticas que se indican ası́: tres ti-

pos de motores Toyota, Ford y Hon- 2. Si se quiere conocer exactamen-
da; tres tipos de chasis designados por te el comportamiento en cuanto
st
A1 , A2 y A3 ; y dos tipos de llantas de- a la estabilidad ofrecida por el ti-

signados por C1 y C2 respectivamen- po de llantas empleadas, entonces
te. El sı́mbolo X en la casilla indica los vehı́culos que deben someterse
In
la caracterı́stica particular que posee a prueba son:

el vehı́culo, en cada una de las tres
a) V1 y V6
LÓGICA
MATEMÁTICA
s
b) V3 y V6 Beatriz: “Carlos cometió el ro-
ca
c) V2 y V4 bo”.
Daniel: “yo no cometı́ el robo”.
d ) V5 y V6
ti
Carlos: “Beatriz miente”.
3. Pérez, Soto y Gómez son el direc-
tor, asesor y contratista de una El culpable del robo fue:
compañı́a, no necesariamente en
má
a) Alberto
ese orden. Al preguntarle a un
b) Beatriz
empleado al respecto, hizo las si-
guientes afirmaciones: c) Carlos
te
d ) Daniel
Gómez no es el asesor
[Problemas (5)-(11)]. En un centro co-
Pérez no es el contratista Ma
mercial que cuenta con dos salas de ci-
Gómez es el contratista
70 ne (sala 1 y sala 2), se proyectan siete
Pérez no es el asesor pelı́culas A, B, C, D, E, F y G, tenien-
do en cuenta las siguientes restriccio-
Si sólo una de estas afirmaciones
nes:
es verdadera, entonces el director,
de
asesor y contratista son respecti- Exactamente cuatro pelı́culas se

vamente: presentan en la sala 1.
Exactamente tres pelı́culas se pre-

a) Soto, Gómez, Pérez
sentan en la sala 2.
o
b) Gómez, Pérez, Soto

F no se presenta en la sala que se
c) Soto, Pérez, Gómez
ut
presenta G.
d ) Pérez, Gómez, Soto
Ni D, ası́ como tampoco E, se pre-
4. Alberto, Beatriz, Carlos y Daniel sentan en la misma sala que C.

it
son cuatro sospechosos de haber

cometido un robo. Se sabe que
5. Si F se presenta en la sala 2, de
uno de ellos es el culpable y que
st
las siguientes afirmaciones, de la

sólo uno de ellos miente. Al ser
única que se tiene certeza es:
interrogados al respecto, respon-
dieron ası́: a) A se presenta en la sala 1.
In
Alberto: “Beatriz cometió el b) C se presenta en la sala 2.

robo”. c) D se presenta en la sala 1.
SEMILLEROS de
MATEMÁTICAS
s
d ) E se presenta en la sala 2. a) A se presenta en la sala 1.
ca
e) G se presenta en la sala 1. b) B se presenta en la sala 1.
6. Si D se presenta en la sala 2, las c) C y F se presentan en las mis-
ti
otras dos posibles pelı́culas que se mas salas.
pueden presentar en la sala 2 son:
d ) A y B se presentan en salas
a) A y B. distintas.
má
b) A y E. e) B y C se presentan en salas
c) B y E. distintas.
te
d ) E y G.
10. Si E se presenta en la sala 1, de
e) F y G. las siguientes pelı́culas, las que no
7. Si A se presenta en la sala 1 y G Ma se pueden presentar en la misma
sala son:
se presenta en la sala 2, de las si-
guientes pelı́culas, las únicas que
71
NO se pueden presentar en la sala a) A y D.
1 son: b) B y C.
de
a) B y E. c) B y G.
b) B y F . d) C y F .
c) C y F . e) E y G.
d ) D y E.
o
11. Si B y D se presentan en la misma

8. Si A y B se presentan en la sala 1,
ut
sala, se puede afirmar con certeza

de las siguientes pelı́culas, la que
que:
tiene que presentarse en la sala 1
es: a) A se presenta en la sala 1.
it
a) C b) C se presenta en la sala 2.
b) D
c) B y D se presentan en la sala
st
c) E 2.
d) F d ) A y G se presentan en la mis-
e) G ma sala.
In
9. Si D se presenta en la sala 1, se e) C y F se presentan en la mis-

puede afirmar con certeza que: ma sala.
LÓGICA
MATEMÁTICA
s
Problemas (12)-(15) c) C empató con E
ca
La tabla siguiente muestra algunos re- d ) No puede determinarse con
sultados obtenidos en una eliminato- los datos conocidos.
ti
ria de fútbol donde participaron los 15. El número de partidos que perdió
equipos A, B, C, E y además jugaron E es:
todos contra todos:
má
a) 0
PJ PG PP PE
A 1 2 b) 1
B Z 2 c) 2
te
C 3 2 X d) 3
E 3 Y 0
16. Juan le dice a su esposa: “si me
72
12. El número de partidos que juga-
Magano la loterı́a, entonces te com-
pro un carro”. Puede suceder que:
ron en la eliminatoria fue:
(i) Juan se gana la loterı́a y le
a) 3
compra el carro a su esposa.
b) 4
de
(ii) Juan se gana la loterı́a pero

c) 5 no le compra el carro a su
d) 6 esposa.
(iii) Juan no se gana la loterı́a
13. Los números que ocupan las po-
pero le compra el carro a su
o
siciones X, Y, Z de la tabla son

esposa.
respectivamente
ut
(iv) Juan no se gana la loterı́a y

a) 0, 2, 1 no le compra el carro a su
b) 1, 2, 1 esposa.
it
c) 1, 1, 0 Juan incumple su promesa en:

d ) 0, 1, 0
a) Los casos (ii) y (iv)
st
14. En el partido entre C y E: b) Los casos (ii), (iii) y (iv)

a) Ganó C c) Los casos (iii) y (iv)
b) Ganó E d ) El caso (ii) únicamente.
In

5.logica Matematica1-2

Cargado por

Copyright:

Formatos disponibles

5.logica Matematica1-2

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

5.logica Matematica1-2

Cargado por

Copyright:

Formatos disponibles

s Universidad de Antioquia • Semilleros de Matemáticas • 2018

Luis Fernando Echeverri D.

El Instituto de Matemáticas de la Universidad de Antioquia, a través del Semillero de Matemáticas,

Semillero de Matemáticas grado 6° Razonamiento lógico I

Semillero de Matemáticas grado 8°

La lógica estudia los razonamientos que nos per-

lógica y la aplicación de la lógica formal a otras

Figura 3.1: Aristóteles Los principios básicos de la lógica y sus aplica-

ciones en matemáticas se remontan a la Antigua

tado de lógica proposicional. Su trabajo es considerado más “informal” que

condujeron al lenguaje moderno de la lógica matemática.

En el siglo XVII, el filósofo y matemático alemán Gottfried Leibniz, uno de

los precursores del cálculo, orientó su trabajo a la creación de un lenguaje

Los seres humanos utilizamos lenguajes naturales como el español, inglés,

diferencian de “lenguajes artificiales” como los utilizados en el estudio de

la lógica (lenguajes formales) o los utilizados en ciencias de la computación

La lógica estudia los procesos de inferencia presentes en un razonamiento. Pa-

En el ejemplo anterior, P es una afirmación verdadera, Q es verdadera o falsa

consideran afirmaciones, puesto que no toman valores de verdad. Por lo tanto,

no se consideran como afirmaciones del cálculo proposicional.

aplican a afirmaciones para modificar su valor de verdad. Cada sı́mbolo lógico

Definición 3.2 (Negación ¬).

como “no P ” o “negación de P ”.

Cuadro 3.1: Tabla de verdad de la negación.

entonces P ∨ R significa “1 + 2 = 3 o 2 ∈ ∅”, la cual es una afirmación

afirmación falsa, pues ninguna de las dos opciones Q ni R son verdaderas.

De una forma más esquemática, para dos afirmaciones arbitrarias P y Q,

presentamos la tabla de verdad de la disyunción como1

Cuadro 3.2: Tabla de verdad de la disyunción.

y P ∧ S representa “1 + 2 = 3 y el ser humano es un mamı́fero”, lo cual es

Cuadro 3.3: Tabla de verdad de la conjunción.

Definición 3.5 (Implicación ⇒).

relación de causa y efecto entre dos afirmaciones. P ⇒ Q se lee de varias

necesaria para P ”, “P solo si Q”, entre otras.

Bajo la cláusula es evidente el valor en la primera y segunda fila de la tabla,

Consideremos el siguiente ejemplo:

La afirmación R ⇒ S dice que “si Sócrates es hombre, entonces es mortal”, lo

que una afirmación verdadera (Sócrates es hombre) tiene una consecuencia

aunque ambas afirmaciones P y Q sean falsas. Esto se debe a que “todo

Es decir, P ⇔ Q es verdad sólo cuando P y Q tienen el mismo valor de verdad

(es decir, el mismo significado). P ⇔ Q también se lee “P si y solo si Q”, “P

de donde P ⇔ Q es falsa, pues P es cierta y Q es falsa, dando lugar a que

1 al dividirse por 2. Dependiendo del valor de n, ambas afirmaciones R y S

Observación 3.1. El uso de ⇔ tiene connotaciones muy parecidas al sı́mbolo

P : τ es un triángulo equilátero (es decir, tiene los tres lados iguales)

es lı́cito afirmar P ⇔ Q, pero no P = Q. Aunque P y Q significan lo mismo y

Combinando los elementos del lenguaje del Cálculo Proposicional, podemos

El procedimiento para hallar la tabla de verdad de una afirmación con varios

grandes. En este caso, hallamos los valores de verdad de ¬P , luego de ¬P ∨ Q

Si quitamos los pasos intermedios para hallar los valores de (¬P ∨ Q) ∧ P ,

cuenta que es verdadera independientemente de los valores de verdad que to-

Por otra parte, si P es “n es par” y Q es “n es impar”, entonces (¬P ∨ Q) ∧ P )

que P ∧ Q, es decir, “n es par e impar”, directamente se infiere que es falsa,

a) Hoy es un bonito dı́a c) El guasón tiene el pelo verde o

guientes frases en afirmaciones del verdadera, F es una afirmación fal-

3. Sean X: “El guasón tiene el pelo d ) ¬H ∨ ¬G

ta comer brevas”. Transcriba las si- f ) (E ∨ ¬F ) ⇐⇒ (F ∨ G)

5. Suponga que a Juan le gusta la fru-

b) A Juan le gusta el manı́ o la e) (A ∧ C) ∨ ¬(B ∧ D)