Introduccin a la Computacin

Tc1001
Operadores Lgicos

Actividades de Lgica matemtica

1

Transforma las siguientes sentencias de lenguaje natural al lenguaje formal de

la lgica proposicional.
a. Si voy a clase y entiendo el tema, entonces o estudio y apruebo o me
voy al cine.
b. Si me compro un abrigo nuevo y no es muy grueso tendr fro o si no
compro abrigo nuevo tendr fro.
c. Slo si voy a clase y estudio, aprobar el examen.
d. Si voy a clase y estudio aprobar el examen.

Escribe el siguiente argumento en forma simblica:

Si Norma va a su reunin del martes por la maana, entonces deber levantarse
muy temprano ese da. Si va al concierto de rock el lunes por la noche, entonces
llegar a su casa despus de las 11:00 p.m. Si Norma llega a su casa a esa hora y se
levanta temprano al da siguiente, entonces tendr que ir a trabajar despus de
dormir menos de siete horas. Por desgracia, Norma no puede trabajar con menos
de siete horas de descanso. Norma no deber ir al concierto de rock o deber faltar
a su reunin del martes por la maana.
3

Determina el valor de verdad de cada una de las siguientes implicaciones:

a. Si 3+4=12, entonces 3+2=6
b. Si 3+3=6, entonces 3+6=9
c. Si 3+3=6, entonces 3+4=9
d. Si Juan lvarez fue el primer presidente de Mxico, entonces 2+3 = 5

Escribe las siguientes proposiciones como una implicacin de la forma sientonces:

a.
La prctica diaria de su servicio es una condicin suficiente para
que Daniela tenga una buena posibilidad de ganar el torneo de
tenis.
b.
Arregle mi aire acondicionado o no pagar la renta
c.
Mara puede subir a la moto de Luis slo si usa el casco.

Construye una tabla de verdad para cada una de las siguientes proposiciones; p,
q y r denotan proposiciones primitivas y decir si es tautologa, contradiccin o
contingencia:
p q q r p q
a.
p q p
b.
p q q r p r
c.

Verifica que p q r p q p r es una tautologa

Ngj/2011

3.1 Lgica proposicional

Introduccin a la Computacin
Tc1001
Operadores lgicos
7

Cuntas filas se necesitan para la tabla de verdad de la proposicin compuesta

p q r s t donde p, q, r, s y t son proposiciones primitivas?

Determina todas las asignaciones de valores de verdad, si existen, para las

proposiciones primitivas p, q, r, s y t que hacen que todas las siguientes
proposiciones compuestas sean falsas:
p q r s t
a.
p q r st
b.

Si la proposicin q tiene el valor de verdad uno (1), determinar todas las

asignaciones de valores de verdad para las proposiciones primitivas p, r y s para
las que el valor de la proposicin q p r s s r q es
igual a 1. Hacer lo mismo para q igual a cero (0).

10 Sean p, q y r proposiciones primitivas. Usando las tablas de verdad, verificar la

equivalencia lgica de:
p q r p r q r
a.
b.
p p r r p q
11

Si p y q son proposiciones primitivas, demostrar por medio de las leyes que

p q p p q p q

12 Para las proposiciones primitivas p, q: Verificar que es una tautologa por

medio de las reglas de sustitucin y las leyes de la lgica:
p q q q
a.
p q r s t p q r s p q r t
b.
13

Escribe los pasos y las razones que establecen la equivalencia:

p p p q p
a.
b.
c.
d.
e.

p q p q
p q p q r p q r
p q p q r p q
p q r r q r r r s p

3.1 Lgica proposicional

Ngj/2011

Introduccin a la Computacin
Tc1001
Operadores Lgicos
14 Despus de hornear un pastel para sus dos sobrinos y sus dos sobrinas que
vienen a visitarla, la ta Natalia deja el pastel en la mesa de la cocina para que se
enfre. Luego, ella va al centro comercial para cerrar su tienda durante el resto
del da. Al regresar, descubre que alguien se ha comida la cuarta parte del pastel
( e incluso tuvo el descaro de dejar el plato sucio al lado del pastel). Puesto que
nadie estuvo en casa ese da a excepcin de los cuatro visitantes, la ta Natalia
se pregunta cul de sus sobrinos se comera el pastel. Los cuatro sospechosos
le dicen lo siguiente:
CARLOS: Jimena se comi el trozo de pastel
DELIA: Yo no me lo com
JIMENA: Too se lo comi
TOO: Jimena minti cuando dijo que yo me lo haba comido
Si solo uno de estas proposiciones es verdadera y slo uno de ellos cometi el
terrible crimen, quin es el culpable al que la ta Natalia debe castigar?

Ngj/2011

3.1 Lgica proposicional

Introduccin a la Computacin
Tc1001
Operadores lgicos
Solucin de Actividades de Lgica matemtica
1. Transforma las siguientes sentencias de lenguaje natural al lenguaje formal de la
lgica proposicional.
a. Si voy a clase y entiendo el tema, entonces o estudio y apruebo o me
voy al cine.
p: voy a clase
q: entiendo el tema
p q r s t
r: estudio
s: apruebo
t: voy al cine
b. Si me compro un abrigo nuevo y no es muy grueso tendr fro o si no
compro abrigo nuevo tendr fro.
p: compro abrigo
q: abrigo no es muy grueso
p q r p r
r: tendr fro
c. Slo si voy a clase y estudio, aprobar el examen.
p: voy a clase
q: estudio
p q r
r: aprobar examen
d. Si voy a clase y estudio aprobar el examen.
p: voy a clase
q: estudio
p q r
r: aprobar examen
2. Escribe el siguiente argumento en forma simblica:
Si Norma va a su reunin del martes por la maana, entonces deber levantarse
muy temprano ese da. Si va al concierto de rock el lunes por la noche, entonces
llegar a su casa despus de las 11:00 p.m. Si Norma llega a su casa a esa hora y se
levanta temprano al da siguiente, entonces tendr que ir a trabajar despus de
dormir menos de siete horas. Por desgracia, Norma no puede trabajar con menos
de siete horas de descanso. Norma no deber ir al concierto de rock o deber faltar
a su reunin del martes por la maana.
p: ir a reunin
q: levantarse temprano
p q r s s q t t r p
r: ir al concierto
s: llegar tarde
t: trabajar sin dormir

3.1 Lgica proposicional

Ngj/2011

Introduccin a la Computacin
Tc1001
Operadores Lgicos
3. Determina el valor de verdad de cada una de las siguientes implicaciones:
a. Si 3+4=12, entonces 3+2=6 F F V
b. Si 3+3=6, entonces 3+6=9
V V V
c. Si 3+3=6, entonces 3+4=9
V F F

d. Si Juan lvarez fue el primer presidente de Mxico, entonces 2+3 = 5 F V

4. Escribe las siguientes proposiciones como una implicacin de la forma sientonces:

a.
La prctica diaria de su servicio es una condicin suficiente para
que Daniela tenga una buena posibilidad de ganar el torneo de
tenis.
Si Daniela practica diariamente su servicio entonces tendr una
buena posibilidad de ganar el torneo de tenis.
b.
Arregle mi aire acondicionado o no pagar la renta
Si no arregla mi aire acondicionado entonces no pagar la renta
c.
Mara puede subir a la moto de Luis slo si usa el casco.
Si Mara usa casco entonces se puede subir a la moto con Luis.
5. Construye una tabla de verdad para cada una de las siguientes proposiciones; p,
q y r denotan proposiciones primitivas y decir si es tautologa, contradiccin o
contingencia:
a. p q q r p q Tautologa

b. p q p Tautologa
p q
pq
p q p
0 0
0
1
0 1
0
1
1 0
0
1
1 1
1
1
Ngj/2011

3.1 Lgica proposicional

Introduccin a la Computacin
Tc1001
Operadores lgicos
d.

p q q r p r

Tautologa

6. Verifica que p q r p q p r es una tautologa

7. Cuntas filas se necesitan para la tabla de verdad de la proposicin compuesta

p q r s t donde p, q, r, s y t son proposiciones primitivas?
2 5 32
8. Determina todas las asignaciones de valores de verdad, si existen, para las
proposiciones primitivas p, q, r, s y t que hacen que todas las siguientes
proposiciones compuestas sean falsas:
a. p q r s t
p 1, q 1, r 1, s 0, t 0
b. p q r st
p 1, q 1, r 1, s 0, t 0
p 1, q 1, r 1, s 1, t 1

3.1 Lgica proposicional

Ngj/2011

Introduccin a la Computacin
Tc1001
Operadores Lgicos
9. Si la proposicin q tiene el valor de verdad uno (1), determinar todas las
asignaciones de valores de verdad para las proposiciones primitivas p, r y s para las
que el valor de la proposicin q p r s s r q es igual a 1.
Hacer lo mismo para q igual a cero (0).
p

1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0

1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0

s
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0

r
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0

6
r

7
pr

8
r q

0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1

0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1

0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1

1
1
0
0
1
1
0
0
1
1
1
1
1
1
1
1

1
1
1
1
0
0
1
1
1
1
1
1
0
0
1
1

9
7 6
0
0
0
0
0
0
0
0
0
0
1
1
0
0
1
1

10
q 9
0
0
0
0
1
1
1
1
0
0
1
1
1
1
1
1

11
s 8
1
1
1
1
1
0
1
1
1
1
1
1
1
1
1
1

10 11
0
0
0
0
1
0
1
1
0
0
1
1
1
1
1
1

10. Sean p, q y r proposiciones primitivas. Usando las tablas de verdad, verificar la

equivalencia lgica:
a)

p q r p r q r
p

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

Ngj/2011

r
0
1
0
1
0
1
0
1

pq

p q r

pr

qr

p r q r

0
0
1
1
1
1
1
1

1
1
0
1
0
1
0
1

1
1
1
1
0
1
0
1

1
1
0
1
1
1
0
1

1
1
0
1
0
1
0
1

3.1 Lgica proposicional

Introduccin a la Computacin
Tc1001
Operadores lgicos
b) p p r r p q
Solucin
p
0
0
0
0
1
1
1
1

q
0
0
1
1
0
0
1
1

r
0
1
0
1
0
1
0
1

pr

0
1
0
1
1
1
1
1

p p r
1
1
1
1
1
1
1
1

pq

1
0
1
0
1
0
1
0

1
1
1
1
0
0
1
1

r p q
1
1
1
1
0
1
1
1

No es equivalencia
11. Si p y q son proposiciones primitivas, demostrar por medio de las leyes que
p q p p q p q
p q p p q p q p q ley IDEM potente

p q p p q q ley distributi va
p q p q ley absorcin
p p q p q ley distributi va
T0 q p q ley inversa
q p q ley del neutro
q p ley IDEM potente

12. Para las proposiciones primitivas p, q: Verificar que es una tautologa por
medio de las reglas de sustitucin y las leyes de la lgica.
a) p q q q
p q q q

q q q q definicin
T0
inversa

p q T0
p q T0

sustituci n

p q T0
T0 do min acin

3.1 Lgica proposicional

Ngj/2011

Introduccin a la Computacin
Tc1001
Operadores Lgicos
b)

p q r s t

p q r s p q r t

p q r s t p q r s p q r t
u p q r
u s t u s u t
s t st
u s t u s t

u
0
0
0
0
1
1
1
1

s
0
0
1
1
0
0
1
1

t
0
1
0
1
0
1
0
1

st

1
1
0
0
1
1
0
0

0
1
0
0
0
1
0
0

u s t
0
1
0
0
1
1
1
1

s t
0
0
0
1
0
0
0
1

u s t
0
0
0
1
1
1
1
1

u s t u s t
1
0
1
0
1
1
1
1

13. Escribir los pasos y las razones que establecen la equivalencia:

a) p p p q p
p p p q p p absorcin
p p p q p
idem potente
b) p q p q

p q p q

pq

p q p q
pq

p q p q

definicin de NAND
doble negacin
definicin de NOR
morgan

c) p q p q r p q r
p q p q r p q p p q q p q r distribuut iva
p p q p q q p q r asociativa
T0 q p T0 p q r inversa

T0 T0 p q r neutro

p q r neutro
Ngj/2011

3.1 Lgica proposicional

Introduccin a la Computacin
Tc1001
Operadores lgicos
d) p q p q r p q
p q p q r p q p q r

p q p q r
p q p q r

p q

pq

definicin
morgan

doble negacin

absorcin

e) p q r r q r r r s p
p q r r q r s r s
p q r q r s r s

idemptente

p q r q r s s distributi va
p q r q r T0
p q r q r

inversa

neutro
p q r q r definicin de
p q r q r doble negacin

p T0

inversa

neutro

14. Despus de hornear un pastel para sus dos sobrinos y sus dos sobrinas que
vienen a visitarla, la ta Natalia deja el pastel en la mesa de la cocina para que se
enfre. Luego, ella va al centro comercial para cerrar su tienda durante el resto del
da. Al regresar, descubre que alguien se ha comida la cuarta parte del pastel (e
incluso tuvo el descaro de dejar el plato sucio al lado del pastel). Puesto que nadie
estuvo en casa ese da a excepcin de los cuatro visitantes, la ta Natalia se pregunta
cul de sus sobrinos se comera el pastel. Los cuatro sospechosos le dicen lo
siguiente:
CARLOS: Jimena se comi el trozo de pastel
DELIA: Yo no me lo com
JIMENA: Too se lo comi
TOO: Jimena minti cuando dijo que yo me lo haba comido
Si solo uno de estas proposiciones es verdadera y slo uno de ellos cometi el
terrible crimen, quin es el culpable al que la ta Natalia debe castigar?
Carlos
Delia
Jimena

Jimena se comi el trozo de

pastel
Yo no me lo com

VoF
V

Too se lo comi

V
V
VoF

V
F

F
F
VoF
VoF

VoF

VoF

F
F

V
F

Too

Jimena minti cuando dijo que yo

me lo haba comido

VoF
V

V
F

Por lo tanto Delia es la culpable

3.1 Lgica proposicional

Ngj/2011