s Universidad de Antioquia • Semilleros de Matemáticas • 2018

ca
LÓGICA MATEMÁTICA

ti
má
te
SEMILLEROS DE
Ma
MATEMÁTICAS
de
o
ut

Luis Fernando Echeverri D.

Edwin Zarrazola R.
it

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

El Instituto de Matemáticas de la Universidad de Antioquia, a través del Semillero de Matemáticas,

ut

ofrece a estudiantes de enseñanza media y público en general los siguientes programas de extensión:

Semillero de Matemáticas grado 6° Razonamiento lógico I

Semillero de Matemáticas grado 7° Razonamiento lógico II
it

Semillero de Matemáticas grado 8°

Álgebra y trigonometrı́a
Semillero de Matemáticas grado 9°
Cálculo diferencial
Semillero de Matemáticas grado 10°
st

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

La ló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 expresión
y de los estados reales a los que dicho conteni-
do se pueda referir. Al estudio matemático de la
de

lógica y la aplicación de la lógica formal a otras

áreas de las matemáticas, se le denomina lógica
matemática.

Figura 3.1: Aristóteles Los principios básicos de la lógica y sus aplica-

o

ciones en matemáticas se remontan a la Antigua

Grecia. El filósofo griego Aristóteles (figura 3.1) proporcionó el primer tra-
ut

tado de lógica proposicional. Su trabajo es considerado más “informal” que

“simbólico”, por haber sido desarrollado en el contexto de los lenguajes natu-
rales, y fue sólo hasta 20 siglos después que las ideas propuestas por Aristóteles
it

condujeron al lenguaje moderno de la lógica matemática.

En el siglo XVII, el filósofo y matemático alemán Gottfried Leibniz, uno de

st

los precursores del cálculo, orientó su trabajo a la creación de un lenguaje

simbólico de razonamiento que permitiera resolver problemas bien definidos
no solo en matemáticas, sino también en otras áreas de las ciencias naturales
y otras disciplinas.
In
 LÓGICA
MATEMÁTICA

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

Los seres humanos utilizamos lenguajes naturales como el español, inglés,

francés, etc., para propósitos generales de comunicación. Estos lenguajes se
Lógica Matemática I

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

it

la lógica (lenguajes formales) o los utilizados en ciencias de la computación

(lenguajes de programación).
st

La lógica estudia los procesos de inferencia presentes en un razonamiento. Pa-

ra estudiar las leyes involucradas en estos procesos, la lógica utiliza lenguajes
formales con el fin de evitar las ambigüedades e imprecisiones presentes en los
In

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

En el ejemplo anterior, P es una afirmación verdadera, Q es verdadera o falsa

según el contexto y R es falsa (al menos en este planeta). Es importante que
una afirmació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 “levántate” o “préstame dinero” no se
o

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

ut

no se consideran como afirmaciones del cálculo proposicional.

Los siguientes signos los llamaremos sı́mbolos lógicos, son operadores que se
Lógica Matemática I
it

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

tiene su propio significado y su tabla de verdad, la cual se define en relación
a su significado.
st

Definición 3.2 (Negación ¬).

Si P representa una afirmación, ¬P denota la negación de P y se lee
In

como “no P ” o “negación de P ”.

 LÓGICA
MATEMÁTICA

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

Cuadro 3.1: Tabla de verdad de la negación.

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

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

verdadera, pues al menos 1 + 2 = 3 es verdad; Q ∨ S significa “está 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 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

afirmación falsa, pues ninguna de las dos opciones Q ni R son verdaderas.

De una forma más esquemática, para dos afirmaciones arbitrarias P y Q,

st

presentamos la tabla de verdad de la disyunción como1

1
En la lógica clásica la disyunción se toma inclusiva, es decir, que es verdadera incluso
cuando P y Q son verdaderas. Una disyunción exclusiva es verdad cuando sólo una de las
In

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

Cuadro 3.2: Tabla de verdad de la disyunción.

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

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 más sencilla con la tabla de
verdad correspondiente a la conjunció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 conjunción.

Lógica Matemática I
it

Definición 3.5 (Implicación ⇒).

Este sı́mbolo es muy importante en Cálculo Proposicional, pues expresa la
st

relació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 condición suficiente para Q”, “Q es condición
In

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

 LÓGICA
MATEMÁTICA

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.

Bajo la cláusula es evidente el valor en la primera y segunda fila de la tabla,

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

Consideremos el siguiente ejemplo:

P : 4 divide a 3
Q: 3 es par
R: Sócrates es hombre
o

S: Sócrates es mortal
ut

La afirmación R ⇒ S dice que “si Só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 Sócrates es hombre, entonces 3 es par” indicando
Lógica Matemática I

it

que una afirmación verdadera (Só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 último, P ⇒ Q es verdad,
st

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

número divisible por cuatro es par” y si se supone que 3 es divisible por
cuatro (sin importar que sea falso) su consecuencia será, ineludiblemente, que
In

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.

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

de

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

es condició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,
Lógica Matemática I

pues para los nú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

tendrán el mismo valor de verdad V ó F, lo cual las hará equivalentes.
st

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

igual (=), por eso hay que tener precaució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 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

P : τ es un triángulo equilátero (es decir, tiene los tres lados iguales)

ti
Q : τ es un triángulo cuyos tres á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 afirmación más extensa, no se puede decir que son

má
iguales ya que no representan cosas.

Combinando los elementos del lenguaje del Cálculo Proposicional, podemos

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 .

El procedimiento para hallar la tabla de verdad de una afirmación con varios

conectivos lógicos consta de hallar los valores de verdad de las afirmaciones
pequeñas, y utilizar é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 afirmación completa, en cada paso ayudá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
Lógica Matemática I

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
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

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 Sócrates no es hombre o es
mortal, y Sócrates es hombre” a decir “Só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 afirmación larga.
Lógica Matemática I
it
st
In
 LÓGICA
MATEMÁTICA

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.

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

a él le gusta comer brevas.
b) ¡Ve a trabajar!

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

guientes frases en afirmaciones del verdadera, F es una afirmación fal-

cálculo proposicional. sa, G es una afirmación falsa y H es
una afirmación verdadera. Deter-
a) C ⇒ A
mine cuáles de las siguientes afir-
b) A ⇔ B
maciones son verdaderas y cuá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)
Lógica Matemática I

c) ¬(E ∧ F )
it

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

verde”, Y : “El guasón tiene la ca-
e) (H ∧ E) ∨ (F ∧ G)
ra blanca” y Z: “Al guasó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 )]
cálculo proposicional.
In

5. Suponga que a Juan le gusta la fru-

a) Al guasó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
MATEMÁTICAS

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 )

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

yuca y no le gusta la zanaho-
ria.
c) A Juan le gusta la zanahoria
má
7. Escriba el recı́proco y el contra-
rrecı́proco de las siguientes afirma-
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

ciones. d ) Un múltiplo de 9 es impar.

PEQUEÑOS RETOS

Problemas (1)-(4) aledaña a é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
Lógica Matemática I
2
C
it

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

ceso a las puertas de ingreso A, B, C,

D de un estadio. Los números del 1 al
8 representan guı́as que señalan la di- 1. De las afirmaciones siguientes la
In

rección de la circulación para el públi- ú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 ingresó al estadio
 LÓGICA
MATEMÁTICA
es:
a) Encontró un puesto de con-
trol
b) Encontró dos puestos de con-
trol
c) Encontró tres puestos de con-
trol
d ) No encontró puestos de con-
trol
2. Aceptando como verdadera la
afirmación: “Una persona que in-
gresó por la guı́a 1, encontró so-
lamente dos puestos de control en
54 su recorrido al estadio”. Entonces
de las afirmaciones siguientes, de
la única que se tiene certeza
es:
de
a) La persona no ingresó por la
puerta A
b) La persona no ingresó por la
puerta B
o
c) La persona no ingresó por la
ut
puerta C
d ) La persona no ingresó por la
puerta D
Lógica Matemática I
it
3. De las proposiciones siguientes la
única verdadera es:
st
a) Si una persona no pasó por la
guı́a 6, entonces, no pasó por
la guı́a 5
In
b) Si una persona pasó por la
guı́a 6, entonces, pasó por la
guı́a 5
s
c) Si una persona pasó por la
ca
guı́a 5, entonces, pasó por la
guı́a 6
d ) Si una persona no pasa por
ti
la guı́a 6, entonces, tiene que
pasar por la guı́a 5
má
4. Si aceptamos como verdadera la
proposición “Una persona que in-
gresó por la guı́a 1, se encuentra
te
ahora dentro del estadio y cruzó
por más de un puesto de control”.
Entonces de las afirmaciones si-
Ma guientes, de la única que se tiene
certeza es:
a) La persona pasó por la guı́a 8
b) La persona pasó por la guı́a 6
c) La persona pasó por la guı́a 5
d ) La persona pasó por la guı́a 7
5. Un prisionero tiene la posibilidad
de obtener su libertad si escoge
una puerta adecuada entre 3 da-
das. En cada una de las puertas
hay una inscripción, pero sólo una
de ellas es verdadera, estas son:
Puerta 1: Esta puerta conduce
a la libertad.
Puerta 2: Esta puerta no con-
duce a la libertad.
Puerta 3: La puerta 1 no con-
duce a la libertad.
La puerta que el prisionero debe
escoger para tener la certeza de
alcanzar su libertad es:

a) La puerta 1.
b) La puerta 2.
c) La puerta 3.
d ) Cualquier puerta.
6. Tres amigas, Inés, Sandra y Eli-
sa sostienen la siguiente conver-
má
sación:
Inés: yo soy menor de edad.
te
Sandra: Inés miente.
Elisa: Sandra es mayor de edad.
Se sabe que sólo una de ellas
miente y que sólo una es mayor de
Ma
edad. La que miente y la es mayor
de edad son respectivamente:
a) Sandra y Sandra.
de
b) Sandra y Elisa.
c) Elisa y Sandra.
d ) Inés y Sandra.
o
Problemas (7)-(8)
ut
Cinco personajes A, G, M, R, S, que
ocupan altos cargos en el sector públi-
co presiden un foro regional. Las nor-
it
mas del protocolo establecen restric-
ciones sobre su ubicación en lı́nea,
st
In
SEMILLEROS de
MATEMÁTICAS
s
frente al público en la mesa principal.
ca
Además se tienen las siguientes con-
diciones:
ti
A y G no pueden ocupar posiciones
contiguas
R y A ocupan posiciones contiguas
R no está ubicado en un extremo y
no está contiguo a S.
M no está contigua ni a G, ni a S
7. De las siguientes situaciones, la
55
única que no es posible es:
a) G está entre S y R
b) S está en un extremo
c) A está entre S y R
d ) M no está en un extremo
8. De los ordenamientos que se indi-
can a continuación, el único posi-
ble es:
a) A R G M S
b) S A R G M
Lógica Matemática I
c) M S A R G
d) M A R G S
Lógica Matemática I

56
In
st
LÓGICA
MATEMÁTICA

it
ut
o
de
Ma
te
má
ti
ca
s