Realizado por la Profesora Violeta Guédez

Matemática Básica

Respuestas de la Guía de ejercicios para Lógica Proposicional:

1. Determine cuáles de las siguientes oraciones son proposiciones:

a) En 1990, George Bush era presidente de los Estados Unidos. (Es proposición).
b) - 3 es un entero positivo. (Es proposición).
c) ¡Si todas las mañanas fuesen tan soleadas como esta! (No es proposición).
d) Quince es un número par. (Es proposición).
e) Si Carlos suspende esta asignatura, su padre se enfadará. (Es proposición).
f) ¿Qué hora es? (No es proposición).
g) De Madrid al cielo. (No es proposición).
h) Hasta el 30 de junio de 2002, Arantxa Sánchez Vicario había ganado tres veces el abierto
de Francia. (Es proposición).

2. Simboliza las siguientes proposiciones utilizando proposiciones simples.

a. No vi la película, pero leí la novela.

p: Vi la película, q: Leí la novela.
Simbolización: (∼p ∧ q)

b. No vi la película ni leí la novela.

P: vi la película, q: leí la novela
Simbolización: (∼p ∧ ∼q)

c. No es cierto que viese la película ni leyese la novela.

p: vi la película, q: leí la novela
Simbolización: ∼ (p ∧ ∼q)

d. Vi la película, aunque no leí la novela.

p: vi la película, q: leí la novela
Simbolización: (p ∧ ∼q)

e. No me gusta trasnochar ni madrugar.

p: me gusta trasnochar, q: me gusta madrugar
Simbolización: (∼p ∧ ∼q)

f. O tú estás equivocado o es falsa la noticia de que has leído.

p: tú estás equivocado, q: es cierta la noticia de que has leído
Simbolización: (p ⊻ ∼q)
 Realizado por la Profesora Violeta Guédez
Matemática Básica
g. Si no estuvieras loca, no hubieras venido aquí.
p: estás loca, q: has venido aquí
Simbolización: (∼p → ∼q)

h. Llueve y o bien nieva o sopla el viento.

p: Llueve, q: Nieva, r: sopla el viento
Simbolización: p ∧ (q ⊻ r)

i. O está lloviendo y nevando o está soplando el viento.

p: Está lloviendo, q: Está nevando, r: Está soplando el viento
Simbolización: (p ∧ q) ⊻ r

j. Si hay verdadero profesionalismo, entonces no hay engaños ni corrupción.

p: Hay verdadero profesionalismo, q: Hay engaños, r: Hay corrupción
Simbolización: p → (∼q ∧ ∼r)

k. Roberto hará el doctorado si y sólo si obtiene la licenciatura.

p: Roberto hace el doctorado, q: Roberto obtiene la licenciatura
Simbolización: p ↔ q

l. Si viene en tren, llegará antes de las seis. Si viene en coche, llegará antes de las seis.
Luego, si viene en tren o viene en coche llegará antes de las seis.
p: Viene el tren, q: Llega antes de las seis, r: Viene en coche
Simbolización: [(p → q) ∧ (r → q)] → [(p ∨ r) → q]

m. No es cierto que no me guste bailar.

p: me gusta bailar
Simbolización: ∼ (∼p)

n. Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlo.

p: Los gatos de mi hermana sueltan tanto pelo, q: Me gustaría acariciar al gato de mi hermana
Simbolización: ∼p → q

o. Prefiero estar de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo
que ir a trabajar.
p: Prefiero estar de vacaciones, q: Prefiero estar sin hacer nada, r: Tengo tiempo para estar de
vacaciones,
s: Tengo tiempo para no hacer nada, t: tengo que ir a trabajar
Simbolización: [(r ∧ s) ∧ ∼t] → [p ∨ q]
 Realizado por la Profesora Violeta Guédez

3. Sean p, q y r las proposiciones simples siguientes:

p: Has obtenido un sobresaliente en el examen final
q: Has hecho todos los ejercicios de este libro
r: Has obtenido un sobresaliente en esta asignatura
Simboliza las siguientes proposiciones compuestas utilizando las proposiciones p, q y r, y los
conectivos lógicos.

a) Has obtenido un sobresaliente en esta asignatura, pero no has hecho todos los ejercicios
de este libro.
Resp: (r ∧ ∼q)

b) Has hecho todos los ejercicios de este libro, has obtenido un sobresaliente en esta
asignatura y también en el examen final.
Resp: q ∧ (r ∧ p)

c) Para obtener un sobresaliente en esta asignatura, es necesario obtener un sobresaliente

en el examen final.
Resp: p → r

d) Conseguir un sobresaliente en el examen final y realizar todos los ejercicios de este libro
es suficiente para obtener un sobresaliente en esta asignatura.
Resp: (p ∧ q) → r

e) Puedes conseguir un sobresaliente en esta asignatura si, y sólo si, haces todos los
ejercicios de este libro o tu calificación en el examen final es de sobresaliente.
Resp: r ↔ (q ∨ p)

4. Simboliza las siguientes proposiciones compuestas utilizando las proposiciones p, q y r, y los

conectivos lógicos.
a) p: Las estrellas emiten luz
q: Los planetas reflejan la luz
r: Los planetas giran alrededor de las estrellas.
 Realizado por la Profesora Violeta Guédez

Respuestas:
1. p → (q ∧ r)
2. (p ∨ q) ∧ r
3. q ↔ (p ∧ r)
4. ∼ (p ∧ q) → ∼r

b) p: Llueve
q: Hace sol

Respuestas:

1. p∧q
2. p ∧ ∼q
3. p∨q
4. ∼p → q
5. ∼p
6. ∼ (∼p)
7. q↔p

5. Elabore la tabla de verdad de las siguientes proposiciones compuestas y determine si son

tautología, Contradicción o ninguna de las dos.

a. (p → q) ∧ (q → p) Sol: Ninguna

b. [p ∧ (q ∨ r) → [(p ∧ q) ∨ (p ∧ q)] Sol: Ninguna

c. (p ∨ ∼q) → q Sol: Ninguna

d. p → (p ∨ q) Sol: Tautología
e. (p ∧ q) → p Sol: Tautología
f. [(p ∧ q) ↔ p] → (p ↔ q) Sol: Ninguna

g. [(p → q) ∨ (r → s)] → [(p ∨ q) → [(q ∨ s) Sol: Ninguna

h. [(p → q) ∧ (∼q)] → (∼p) Sol: Tautología
i. ∼ (p ∧ q) ↔ [(∼q) ∨ (∼p)] Sol: Tautología
 Realizado por la Profesora Violeta Guédez

6. Si la negación de la proposición compuesta: [(p ∧ q) → (r v s)] es verdadera, diga cuál es el valor

de certeza de las proposiciones simples que la conforman.
Respuesta:
p: V, q: V, r: F, s: F

7. Si las proposiciones simples q, r y s son falsas y la proposición p es verdadera, determine

el valor de las siguientes proposiciones compuestas:

a) ∼ [ (p ∧ q) → r]
Sol: Falsa
b) ∼ [ ∼ [ ∼ (q → r) → (s ∧ w)]]
Sol: Verdadera
c) ∼ {(r → x) ∧ ∼ [(p ∧ q) ∨ s]}
Sol: Falsa

8. Si se sabe que (p ∧ q) y (q → r) son falsas, ¿cuáles de las siguientes proposiciones son

verdaderas?

a) (∼p v r) v s
Sol: Verdadera
b) ∼ [ (∼p ∧ q) v ∼r]
Sol: Falsa
c) ∼ [ p ∧ (∼q v ∼p)]
Sol: Verdadera
d) [∼p v (q ∧ ∼r)] ↔ {(p → q) ∧ ∼ (q ∧ r)}
Sol: Verdadera
e) [(p → q) ∧ ∼ (q ∧ r)] ↔ [∼p v (q ∧ ∼r)]
Sol: Verdadera

9. ¿Cuál de las siguientes proposiciones compuestas son equivalentes?

a) (p → q) con (p  q) Sol: No son equivalentes
b) [(p  ∼q)  ∼ (q  ∼ p)] con [(p → q) → (q → p)] Sol: Son equivalentes
c) (p → q) con (∼ p  ∼ q) Sol: No son equivalentes
d) (p → q) con (∼ p  q) Sol: Son equivalentes
e) (p → q) con (p  ∼ q) Sol: No son equivalentes
f) (p  q) con [∼ (p  q)] Sol: No son equivalentes
g) (p  q) con (∼p  ∼q) Sol: Son equivalentes
h) [p → (q  r)] con [(p → q)  (q → r)] Sol: No son equivalentes
i) (p → q) con (∼ q → ∼ p) Sol: Son equivalentes
j) [p → (q  r)] con [∼p  (q  r)] Sol: Son equivalentes
k) [∼ (p  q)] con (∼p  ∼q) Sol: No son equivalentes
 Realizado por la Profesora Violeta Guédez

l) [(∼p  ∼q)  r] con [p → (∼q  r)] Sol: No son equivalentes

m) [(p → ∼q)  r)] con [p → (q  r)] Sol: No son equivalentes

10. En cada ítem, escriba la proposición correspondiente en la forma “Si P entonces Q”.
a) “Puedes aprobar la materia cuando obtengas por lo menos 10 puntos”.
Resp.
Si obtuviste por lo menos 10 puntos entonces aprobaste la materia.

b) “Comprar el boleto implica que entras al cine”.

Resp.
Si compras el boleto entonces entras al cine.

c) “Es suficiente ser venezolano para ser latinoamericano”

Resp.
Si soy venezolano entonces soy latinoamericano.

d) “Es necesario que Andrea baile para que Juan cante”

Resp.
Si Andrea baila entonces Juan canta

e) “Escucho música sólo si soy feliz”

Resp.
Si soy feliz entonces escucho música.

11. Para cada proposición dada, escriba: la recíproca, la inversa y la contrarrecíproca, en la forma
si…entonces. (Sugerencia: escribir la proposición dada en la forma si…entonces)

a) Si usted dirige, entonces yo lo seguiré.

Resp.
Recíproca: Si yo lo seguí entonces usted dirigió.
Inversa: Si usted no dirige entonces yo no lo seguiré.
Contrarrecíproca: Si yo no lo seguí entonces usted no lo dirigió.

b) Si no está roto, no lo repararé.

Resp. Si no está roto entonces no lo repararé.

Recíproca: Si no lo reparo entonces no está roto.
Inversa: Si está roto entonces lo repararé.
Contrarrecíproca: Si lo reparé entonces estaba roto.

c) Dos ángulos son complementarios si la suma de sus medidas es 90°.

Resp. Si la suma de las medidas de dos ángulos es 90° entonces son complementarios.
Recíproca: Si dos ángulos son complementarios entonces la suma de sus medidas es 90°.
Inversa: Si la suma de las medidas de dos ángulos no es 90° entonces no son complementarios.
Contrarrecíproca: Si dos ángulos no son complementarios entonces la suma de sus medidas no
es 90°.
 Realizado por la Profesora Violeta Guédez

d) La leche contiene calcio.

Resp. Si es leche entonces contiene calcio.

Recíproca: Si contiene calcio entonces es leche.
Inversa: Si no es leche entonces no contiene calcio.
Contrarrecíproca: Si no contiene calcio entonces no es leche.

e) Yo no voy si ni ella ni el van. (Use las leyes de De Morgan cuando sea necesario)

Resp. Si ni ella ni el van entonces yo no voy.

Recíproca: Si yo no voy entonces ni ella ni el van.
Inversa: Si ella o el van entonces yo voy.
Contrarrecíproca: Si yo voy entonces ella o el van.

f) 𝑝 ⇒ ~𝑞

Resp.
Recíproca: ~𝑞 ⇒ 𝑝
Inversa: ~ 𝑝 ⇒ 𝑞
Contrarrecíproca: 𝑞 ⇒ ~𝑝

g) ~𝑝 ⇒ 𝑞

Resp.
Recíproca: 𝑞 ⇒ ~𝑝
Inversa: 𝑝 ⇒ ~𝑞
Contrarrecíproca: ~𝑞 ⇒ p

h) 𝑝 ⇒ (𝑞 𝘷 𝑟). (Use una de las leyes de De Morgan cuando sea necesario)

Resp.
Recíproca: (𝑞 𝘷 𝑟) ⇒ 𝑝
Inversa: ~𝑝 ⇒ ~ (𝑞 𝘷 𝑟) ≡ ~𝑝 ⇒ (~ 𝑞 ˄ ~𝑟)
Contrarrecíproca: ~ (𝑞 𝘷 𝑟) ⇒ ~𝑝 ≡ (~ 𝑞 ˄ ~𝑟) ⇒ ~𝑝.

i) (𝑟 𝘷 ~𝑞) ⇒ 𝑝. (Use una de las leyes de De Morgan cuando sea necesario)

Resp.
Recíproca: 𝑝 ⇒ (𝑟 𝘷 ~𝑞)
Inversa: ~ (𝑟 𝘷 ~𝑞) ⇒ ~𝑝 ≡ (~𝑟 ˄ 𝑞) ⇒ ~𝑝
Contrarrecíproca: ~𝑝 ⇒ ~ (𝑟 𝘷 ~𝑞) ≡ ~𝑝 ⇒ (~ 𝑟 ˄ 𝑞)

12. Escriba la negación de las siguientes condicionales en forma de conjunción:

a) Si tú lo construyes, el vendrá.
Resp. Tú lo construyes, pero él no viene.
 Realizado por la Profesora Violeta Guédez

b) Todos los perros tienen pulgas.

Resp. Es perro, pero no tiene pulgas.

c) Si Elvia alcanza esa nota, romperá los vidrios.

Resp. Elvira alcanzó la nota y no rompió los vidrios.

d) Si amarte es un error, no quiero estar en lo correcto.

Resp. Amarte es un error, pero quiero estar en lo correcto.

e) Todo número entero es racional.

Resp. Es un número entero y no es racional.

13. Escriba las siguientes condicionales en forma de disyunción:

a) Si cuidas tus plantas con ternura y cariño, florecerán.

Resp. No cuidas tus plantas con ternura o no las cuidas con cariño, o florecerán.

b) Si ella no lo hace, él lo hará.

Resp. Ella lo hace o él lo hará.

c) Si yo digo si, ella dice no.

Resp. Yo digo o ella dice no.

d) Puedes votar si tienes 18 años de edad.

Resp. No tienes 18 años de edad o puedes votar.

e) Los números primos son impares.

Resp. No son números primos o son impares.