e

e
at

iv

P
M

eU
N
n

at
M
1

N
P
Clase

n
eU

ee
Lógica proposicional
at

iv

P
M

eU
N
De cinco encantadoras jóvenes con el rostro totalmente tapado, dos tienen ojos marrones, y las
restantes azules. Las jóvenes de ojos marrones siempre dicen la verdad cuando se les interroga. Las
jóvenes de ojos azules, son en cambio mentirosas, nunca dicen la verdad. El siguiente problema
n

fue propuesto a Beremiz Samir, el hombre que calculaba, ver [14].

at
Indica quienes son las de ojos marrones y las de ojos azules, pudiendo interrogar solamente a
M
tres de ellas, pero solo podrás hacer una pregunta a cada una. Con las tres respuestas tendrás que

N
solucionar el problema, y justificar la solución.
P

n
eU

Beremiz procedio a preguntar a la primera

ee

¿De qué color son tus ojos?

La jóven respondio en lengua china, totalmente desconocida por Beremiz. Luego se exigio que las
at

demás respuestas se hicieran en árabe, lengua materna de Beremiz. Procediendo a preguntar a la

iv

segunda jóven
P
M

eU
N

¿Cuál es la respuesta que acaba de dar tu compañera?

La cual respondio: Ella dijo “mis ojos son azules”. Finalmente se pregunto a la tercera jóven
n

¿De que color son los ojos de las dos primeras jóvenes?
at

Respondiendo: “La primera tiene ojos marrones y la segunda ojos azules”.

M

N
P

Con esta información ¿cuál fue la respuesta de Beremiz?

n
eU

ee
at

iv

P
M

4
U
N
 e

e
at

iv

P
M

eU
N
Lógica proposicional
n

at
Proposiciones

M
Definición 1 (Proposición).

N
P
Una proposición es un enunciado que puede ser verdadero o falso, pero no ambas a la
vez. La notación usual para una proposición son las letras minúsculas p, q, r, · · · .

n
eU

ee
Ejemplo 1. Los enunciados “el cielo es azul”, “el número 2 es par” y “los perros ladran” son
at

ejemplos de proposiciones. Pero los siguientes enunciados “¿Qué hacemos aquı́?”, “¡Viva el Perú!”
iv

P
y “ no me mires” no son proposiciones.
M

eU
N
Dada una proposición p representaremos sus posibles valores por medio de una tabla de verdad
como la siguiente:
n

at
V
F
M

N
A continuación veremos cómo combinar proposiciones obteniendo nuevas proposiciones, usual-
P

mente llamadas proposiciones compuestas , pero aquellas que no son combinación de otras son
llamadas proposiciones simples . En ese sentido, podemos decir que una proposición compuesta
n
eU

es una combinación de proposiciones simples.

ee

Definición 2 (Negación).
at

Sea p una proposición, definimos su negación , ¬p, como la proposición con los valores
iv

opuestos, cuya tabla de verdad es: P

M

eU
N

p ¬p
V F
F V
n

at
M

Ejemplo 2. Considerando la lista de proposiciones en la parte izquierda, veamos sus negaciones

en la parte derecha.
N
P

La luna está hecha de queso. La luna no está hecha de queso.

n
eU

ee

Diciembre es el mes de la navidad. Diciembre no es el mes de la navidad.

En invierno hace frı́o. No es cierto que, en invierno hace frı́o.

at

iv

P
M

5
U
N
 e

e
at

iv

P
M

eU
N
Definición 3 (La conjunción).
n

at
Sean p y q dos proposiciones, definimos la conjunción de ellas, denotada por p ∧ q, como
la proposición “p y q” cuya tabla de verdad es como sigue

N
p q p∧q
P
V V V
V F F

n
eU

F V F

ee
F F F
at

iv

P
Ejemplo 3. Sean p = “El cielo está nublado en invierno” y q = “Lloverá hoy con seguridad”, luego
M

la conjunción de ellas es “El cielo está nublado en inviero y lloverá hoy con seguridad”.

eU
N
Ejemplo 4. Sean p = “Los perros ladran” y q =“los gatos maullan”, luego la conjunción de ellas
es “ Los perros ladran y los gatos maullan”.
n

at
No es difı́cil deducir de la defición por su tabla que la conjunción es verdadera unicamente
cuando las proposiciones que la conforman son verdaderas y en cualquier otro caso es falsa.
M

N
Ejemplo 5. Sea p =“dos es par” y q =“dos es mayor que tres”. La conjunción de p y q es falsa
P

pues q es falsa.
n
eU

Definición 4 (La disyunción).

ee

Sean p y q dos proposiciones, definimos la disyunción de ellas, denotada por p ∨ q, como

la proposición “p o q” cuya tabla de verdad es como sigue
at

iv

p q p∨q P
M

V V V
eU
N

V F V
F V V
n

F F F
at
M

Ejemplo 6. Sean p = “El cielo está nublado en invierno” y q = “Lloverá hoy con seguridad”, luego
la disyunción es: “El cielo está nublado o lloverá hoy con seguridad”.
N
P

Al igual que en la conjunción, no es difı́cil observar que de la tabla de la disyunción esta es

n
eU

falsa unicamente cuando las proposiciones que la componen lo son, en otro caso es verdadera.
ee

Ejemplo 7. Sea p =“dos es par” y q =“dos es mayor que tres”. La disyunción de p y q es verdadera
pues p es verdadera.
at

iv

P
M

6
U
N
 e

e
at

iv

P
M

eU
N
Usualmente a la disyunción también la llaman la disyunción inclusiva. Pues existe otro tipo de
n

disyunción que pasamos a definir a continuación.

at
Definición 5 (La disyunción exclusiva).

N
Sean p y q dos proposiciones, se define la disyunción exclusiva de ellas, denotada por
P
p Y q, como la proposición “O p o q” con tabla de verdad como sigue

n
eU

p q pYq

ee
V V F
V F V
F V V
at

iv F F F

P
M

eU
N
Ejemplo 8. Sean p =“Malena está en la UP” y q =“Malena está en su casa”, luego la disyunción
exclusiva de p y q es “O Malena está en la UP o está en su casa”.
n

at
Observemos que la disyunción exclusiva, pYq, a diferencia de la disyunción p∨q esta es verda-
dera unicamente cuando p y q tienen valores opuestos, siendo falsa cuando sus valores coinciden.
M
Esto nos induce a pensar que la disyunción exclusiva p y q significa la disyunción de ellas pero no

N
ambas a las vez, es decir p Y q significa (p ∨ q) ∧ ¬(p ∧ q).
P

Definición 6 (La condicional).

n
eU

ee

Sean p y q dos proposiciones, definimos la condicional de ellas, denotada por p → q,

como la proposición “Si p entonces q”, con tabla de verdad dada por
at

p q p→q
iv

V V V P
M

V F F
eU
N

F V V
F F V
n

En este caso p se denomina el antecedente y q el consecuente .

at
M

Ejemplo 9. Considerando p =“Juan gana la loterı́a” y q =“Juan está feliz”, la condicional p → q

N
P

será “Si Juan gana la loterı́a entonces está feliz”.

n
eU

De la tabla de la condicional observamos que ella es falsa unicamente cuando el antecedente

es verdadero y el consecuente es falso, en otro caso es verdadera.
ee

Ejemplo 10. Sean p y q dos proposiciones. Si p Y q es verdadera entonces p ∧ q es falsa y p ∨ q es

verdadera.
at

iv

P
M

7
U
N
 e

e
at

iv

P
M

eU
N
Definición 7.
n

at
Sean p y q dos proposiciones. Asociado a la proposición condicional p → q se definen
las proposiciones:

N
recı́proca q → p contrapositiva ¬q → ¬p.
P

n
eU

Ejemplo 11. La proposición recı́proca del ejemplo anterior es “Si Juan está feliz entonces gana la

ee
loterı́a”. Siendo su contrapositivas son “Si Juan no está feliz entonces no gana la loterı́a”.
at

Definición 8 (La bicondicional).

iv

P
Sean p y q dos proposiciones, definimos la proposición bicondicional , denotada por
M

eU
N
p ↔ q, como la proposición “p si y solo si q” cuya tabla de verdad es
p q p↔q
n

V V V

at
V F F
F V F
F F V M

N
P

n
eU

Ejemplo 12. Si p =“Malena tiene 18 años” y q =“Malena tiene derecho al voto electoral”, enton-
ee

ces la bicondicional de p y q es “Malena tiene 18 años si y solo si tiene derecho al voto electoral.

Ejercicios para la clase

at

iv

1. Simbolizar las proposiciones siguientes, estableciendo primero un diccionario:

P
M

eU
N

a) Malena es puntual o Diana siempre llega tarde.

b) O él está equivocado y yo tengo razón, o quedaré sorprendido.
n

c) Alejandro no es nuestro representante y Alan no es nuestro capitán.

at

2. Negar las proposiciones siguientes:

M

a) Sandra dice que Mariano no tiene 17 años.

N
P

b) Es falso que, hablamos y no trabajamos.

n
eU

3. (PC1-2014-0) Si la proposición (p ∧ q) Y (p Y ¬q) es verdadera, determine el valor de verdad

ee

de la proposición ¬q → p.

4. (EP-2014-I) Sean p y q dos proposiciones, se define la proposición “p ∗ q” mediante la

at

siguiente tabla.
iv

P
M

8
U
N
 e

e
at

iv

P
M

eU
N
p q p∗q
n

V V F

at
V F F
F V F

M
F F V

N
P
Dé las tablas de verdad de las proposiciones “(p ∗ q) → (q ∗ p)” y “(p → q) ∗ (q → p)”.

n
eU

ee
Ejercicios adicionales
1. (PC1-2014-I) Construya la tabla de la proposición (p → q) ∧ (q → p).
at

iv
2. Negar las proposiciones siguientes condicionales:

P
M

a) Si Nicole estudia entonces no trabaja.

eU
N
b) Si f es diferenciable entonces f es continua.
c) Si f alcanza su mı́nimo en x0 entonces la derivada de f en x0 es cero.
n

3. Si la proposición (p ∨ ¬q) → ¬p es falsa, determine el valor de verdad de ¬(p ∧ q) → p.

at
4. Si la proposición ¬[(p ∧ q ∧ r) → s] → (¬p ∨ s) es falsa, determine el valor de p, q, r y s.
M

N
P

Lecturas recomendadas
n
eU

1. Simbolización de proposiciones, Capı́tulo 1 (pp. 1–37) de Introducción a la lógica matemáti-

ee

ca, P. Suppes y S. Hill, editorial Reverté.

2. Lógica y conjuntos, Capı́tulo 1 (pp. 1–4) de Precálculo Apuntes de estudio 77, 2014, J.
at

iv

Zuñiga, Universidad del Pacı́fico.

P
M

eU
N
n

at
M

N
P

n
eU

ee
at

iv

P
M

9
U
N