Ejercicios sobre cá lculo proposicional

PARTE I

Resuelva los siguientes ejercicios sobre proposiciones en el capítulo 1.1, pá gina 7,

del libro de texto “Matemá ticas discretas - JohnsonbaughArchivo”:

- 1 al 8 todos
- 20 al 26 los pares
- 36-37-39
- 41 al 45 impares
- 47 al 52 seleccionar 3

PARTE 2

Resuelva los siguientes ejercicios sobre proposiciones condicionales en el capítulo

1.2, pá gina 16, del libro de texto “Matemá ticas discretas - JohnsonbaughArchivo”:

-2,4,6
-10 AL 17 impares -28,29,30 -38,39,40,41
- 42 al 51 pares -52

PARTE 3

Resuelva los siguientes ejercicios sobre simplificació n de proposiciones

compuestas. Utilice las propiedades del á lgebra proposicional e indique cuá ndo las
usa.

1) ~(𝑝 → 𝑞) ∧ ~(𝑟 ∨ 𝑞)
2) (∼∼ 𝑞 ∨ 𝑞) ∧ (𝐹 ∨ 𝑝) ∨ ~(𝐹 ∧ ~𝑠) 3) ~(𝑝 ↔ 𝑞) ∨ (𝑝 ∧∼ 𝑞)
4) ∼𝑞∧(𝑞∨𝑟∨(𝑞∧∼𝑟))
Determine si cada oración en los ejercicios 1 a 8 es una proposición. Si la oración es
una proposición, escriba su negación. (No se piden los valores de verdad de las
oraciones que son proposiciones).

1. 2 + 5 = 19. Proposición
No es cierto que 2 + 5 = 19

2. Mesero, ¿serviría las nueces, quiero decir, serviría las nueces a los invitados?
No es una proposición

3. 3. Para algún entero positivo n, 19340 = n · 17. Proposición

No es cierto que para algún entero positivo n, 19340 = n · 17

4. Audrey Meadows fue la “Alice” original de la serie “Té Honeymooners”.

Proposición
No es cierto que Audrey Meadows fue la “Alice” original de la serie “The
Honeymooners”.

5. Pélame una uva. No es una proposición

6. La línea “Tócala otra vez, Sam” corresponde a la película “Casablanca”.

Proposición
No es cierto que la línea “Tócala otra vez, Sam” corresponde a la película “Casablanca”.

7. Todo entero par mayor que 4 es la suma de dos primos. Proposición

No es cierto que todo entero par mayor que 4 es la suma de dos primos.

8. La diferencia de dos primos. No es una proposición

9. Escriba la tabla de verdad de cada proposición en los ejercicios 19 a 26, solo los
pares

20. (¬ p v ¬ q) v p
22. (p ^ q) ^ ¬ p
24. ¬ (p ^ q) v (r ^ ¬ p)
26. ¬ (p ^ q) v (¬ q v r)

P P ¬p ¬q (¬ p v ¬ (¬ p v ¬
q) q) v p
V V F F F V
V F F V V V
F V V F V V
F F V V V V
 P q ¬p (p ^ q) (p ^ q) ^ ¬ p
V V F V F
V F F F F
F V V F F
F F V F F

p q r ¬p pp^q ¬ (p ^ )r^¬p ¬ (p ^
q) q) v (r ^
¬ p)
V V V F V F F F
V V F F V F F F
V F V F F V F V
V F F F F V F V
F V V V F V V V
F V F V F V F V
F F V V F V V V
F F F V F V F V

P q r ¬q p^q ¬ (p ^ q) ¬qvr ¬ (p ^ q)
v (¬ q v
r)
V V V F V F V V
V V F F V F F F
V F V V F V V V
V F F V F V V V
F V V F F V V V
F V F F F V F V
F F V V F V V V
F F F V F V V V

En los ejercicios 36 a 40, formule la expresión simbólica en palabras usando:

p: Hoy es lunes.
q: Está lloviendo.
r: Hace calor.

36. p v q------------------Hoy es lunes o está lloviendo.

37. ¬ p ∧ (q ∨ r) --------- Hoy no es lunes y es cierto que está lloviendo o que hace
calor.
39. (p ∧ q) ∧ ¬ (r ∨ p) -- Hoy es lunes y está lloviendo y no es cierto que hace calor
o que hoy es lunes.
En los ejercicios 41 a 46, represente simbólicamente la proposición definiendo

p: Hay huracán.
q: Está lloviendo.
41. No hay huracán. ¬ p
p q ¬ p (p ^ q) (p ^ q) ^ ¬ p V V F V F V F F F F F V V F F F F V f F
43. Hay huracán, pero no está lloviendo. Pero no es un conector lógico;
45. Hay huracán o está lloviendo (o ambas). (p v q) v (p ^ q)

En los ejercicios 47 a 52, represente simbólicamente la proposición definiendo

p: Oíste el concierto de rock de “Flying Pigs”.

q: Oíste el concierto de rock de “Y2K”
. r: Tienes los tímpanos inflamados.

47. Oíste el concierto de rock de “Flying Pigs” y tienes los tímpanos inflamados.
p^r
49. Oíste el concierto de rock de “Flying Pigs”, oíste el concierto de rock de “Y2K”
y tienes los tímpanos inflamados. p ^ (q ^ r)

52. No ocurre que: oíste el concierto de rock de “Flying Pigs” o bien oíste el
concierto de rock de “Y2K” o no tienes los tímpanos inflamados. ¬ (p v (q v ¬ r))

PARTE 2
En los ejercicios 1 a 7, restablezca cada proposición en la forma (1.2.2) de una
proposición condicional.

2. Rosa se graduará si tiene créditos por 160 horas-trimestre.

Si Rosa tiene créditos por 160 horas-trimestre, entonces se graduará.

4. Una condición suficiente para que Katia tome el curso de algoritmos es que
apruebe matemáticas discretas.
Si Katia aprueba matemáticas discretas, entonces tomara el curso de algoritmos.

6. La audiencia se dormirá si el maestro de ceremonias da un sermón.

Si el maestro de ceremonia da un sermón, entonces la audiencia se dormirá.

Suponiendo que p y r son falsas y que q y s son verdaderas, encuentre el valor de

verdad para cada proposición en los ejercicios 10 al 17.

11. ¬p → ¬q F
13. (p → q) ∧ (q → r) -------------------- F
15. p → (q → r) V
17. ((p ∧ ¬q) → (q ∧ r)) → (s ∨ ¬q) V
En los ejercicios 28 al 31, represente con símbolos la proposición cuando

p: 4 < 2, q: 7 < 10, r: 6 < 6

28. Si 4 < 2, entonces 7 < 10. ---------------------p -> q

29. Si (4 < 2 y 6 < 6), entonces 7 < 10 ---------- (p ^ r) -> q

30. Si no ocurre que (6 < 6 y 7 no es menor que 10), entonces 6 < 6--------------- ¬ (r
^ ¬ q) -> r

En los ejercicios 38 a 41, escriba cada proposición condicional en

símbolos. Escriba la recíproca y la contrapositiva de cada proposición
en símbolos y en palabras. Encuentre también el valor de verdad
para cada proposición condicional, su recíproca y su contrapositiva.

38. Si 4 < 6, entonces 9 > 12.

Símbolo: p -> q Falsa
Reciproca: Si 9 > 12, entonces 4 < 6
Símbolo de reciproca: q -> p Verdadera
Contrapositiva: Si no es cierto que 9 > 12, entonces no es cierto que 4 < 6.
Símbolo de contrapositiva: ~q -> ~ p Falsa

39. Si 4 < 6, entonces 9 < 12.

Símbolo: p -> q Verdadera
Reciproca: Si 9 < 12, entonces 4 < 6.
Símbolo reciproca: q -> p Verdadera
Contrapositiva: Si no es cierto que 9 < 12, entonces no es cierto que 4 < 6.
Símbolo contrapositivo: ~q -> ~ p Verdadera

40. |1| < 3 si –3 < 1 < 3. Si -3 < 1 < 3, entonces |1| < 3
Símbolo: p -> q Verdadera
Reciproca: Si |1| < 3, entonces -3 < 1 < 3.
Símbolo reciproca: q -> p Verdadera
Contrapositiva: Si no es cierto que |1| < 3, entonces no es cierto que -3 < 1 < 3.
Símbolo contrapositivo: ~q -> ~ p Verdadera

41. |4| < 3 si –3 < 4 < 3. Si -3 < 4 < 3, entonces |4| < 3
Símbolo: p -> q Verdadera
Reciproca: Si |4| < 3, entonces -3 < 4 < 3
Símbolo reciproca: q -> p Verdadera
Contrapositiva: Si no es cierto que |4| < 3, entonces no es cierto que -3 < 4 < 3.
 Símbolo contrapositivo: ~q -> ~ p Verdadera.

46. P = p ∧ (q ∨ r), Q = (p ∨ q) ∧ (p ∨ r) --------No son equivalentes

48. P = p → q, Q = p ↔ q ------------------------No son equivalentes
50. P = (p → q) → r, Q = p → (q → r) ------- No son equivalentes

Los ejercicios 52 y 53 proporcionan mayor motivación para definir p

→ q como verdadera cuando p es falsa. Se considera cambiar la tabla
de verdad de p → q cuando p es falsa. Para este primer cambio, el
operador resultante recibe el nombre de imp1 (ejercicio 52), y para el
segundo cambio el operador resultante es imp2 (ejercicio 53). En
ambos casos, se obtienen patologías.

52. Defina la tabla de verdad para imp1 como

Demuestre que p imp1 q ≡ q imp1 p.

p p
V V
V F
F V
F F
P impl q q impl p
V V
F F
F F
V V

PARTE 3

Resuelva los siguientes ejercicios sobre simplificación de

proposiciones compuestas. Utilice las propiedades del algebra
proposicional e indique cuando las usa.

1) ~ (𝑝 → 𝑞) ∧ ~ (𝑟 ∨ 𝑞)
2) (∼∼ 𝑞 ∨ 𝑞) ∧ (𝐹 ∨ 𝑝) ∨ ~ (𝐹 ∧ ~𝑠) 3) ~ (𝑝 ↔ 𝑞) ∨ (𝑝 ∧∼ 𝑞)
4) ∼𝑞∧(𝑞∨𝑟∨(𝑞∧∼𝑟))

1) ~ (p → q) ∧ ~ (r ∨ q)

~ (~p V q) ^ (~r ^ ~ q) ---------Ley condicional y Ley de Morgan

(p ^ ~ q) ^ (~r ^ ~ q) ----------Ley de Morgan
p ^ ~ q ^ ~ q ^ ~r -------------Ley conmutativa
p ^ (~ q ^ ~r) ------------------- ley asociativa
2) (∼∼ q ∨ q) ∧ (F ∨ p) ∨ ~ (F ∧ ~s)
(q ^ p) v ~ (F ^ ~ s) --------- Ley idempotente y Ley de la doble negación
(q ^ p) v ~ F----------------- Ley de identidad
(q ^ p) v V ------------------ Ley de complemento
(q v V ) ^ (p v V)-----------Ley distributiva
V ^ V ------------------------Ley de identidad

3) ~ (p ↔ q) ∨ (p∧∼ q)
~ (p -> q) ^ ~ (q -> p) v (p ^ ~ q) ----- Ley bicondicional
~ (~p v q) ^ ~ (~q v p) v (p ^ ~ q) ----- Ley condicional
(p ^ ~q) ^ (q ^ ~p) v (p ^ ~q) --------Ley de Morgan
(p ^ ~q) ^ (p ^ ~q) v (q ^ ~p) --------Ley conmutativa
(p ^ ~q) v (q ^ ~ p) -------------------- Ley idempotente

4) ∼ q ∧ (q ∨ r ∨ (q ∧∼ r))
~q ^ (q v (r v q) ^ (r v ~ r)) -----Ley distributiva
~q ^ (q v (r v q) ^ V) ----------- Ley de complemento
~q ^ (q v (r ^ V) v (q ^ V)) ------Ley distributiva
~q ^ (q v r v q) ------------------ Ley de identidad
~q ^ (q v r) -----------------------Ley idempotente
(~q ^ q) v (~ q ^ r) --------------Ley distributiva
F v (~q ^ r) ----------------------- Ley de complemento
(F v ~q) ^ (F v r) -----------------Ley distributiva
~q ^ r Ley de identidad