Tarea 1

Segundo Parcial
Ejercicios sobre calculo proposicional
PARTE 1
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. Proposicion
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
proposicion
3. Para algún entero positivo n, 19340 = n · 17. Proposicion
No es cierto que para algun entreto positivo n, 19340 = n · 17.
4. Audrey Meadows fue la “Alice” original de la serie “The Honeymooners”. Proposicion
No es cierto que Audrey Meadows fue la “Alice” original de la serie “The Honeymooners”.
5. Pélame una uva. No es una proposicion
6. La línea “Tócala otra vez, Sam” corresponde a la película “Casablanca”. Proposicion
No es cierto que la linea “Tocala otra ves, Sam” corresponde a la pelicula “Casablanca”.
7. Todo entero par mayor que 4 es la suma de dos primos. Proposicion
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 proposicion
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 v ¬ q) v p
p q ¬p ¬q (¬ p v ¬ q) (¬ p v ¬ 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 (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) v (r ^ ¬ p)
p q r ¬p p^q ¬ (p ^ q) r^¬p ¬ (p ^ 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) v (¬ q ^ r)
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 esta lloviendo.
37. ¬ p ∧ (q ∨ r) --------- Hoy no es lunes y es cierto que esta lloviendo o que hace calor.
39. (p ∧ q) ∧ ¬(r ∨ p) -- Hoy es lunes y esta 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
43. Hay huracán, pero no está lloviendo. Pero no es un conector logico;
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 creditos por 160 horas-trimestre, entonces se graduara.
4. Una condición suficiente para que Katia tome el curso de algoritmos es que apruebe
matemáticas discretas.
Si Katia aprueba matematicas 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 sermon, entonces la audiencia se dormira.
Suponiendo que p y r son falsas y que q y s son verdaderas, encuentreel 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.
Simbolo: p -> q Falsa
Reciproca: Si 9 > 12, entonces 4 < 6
Simbolo de reciproca: q -> p Verdadera
Contrapositiva: Si no es cierto que 9 > 12, entonces no es cierto que 4 < 6.
Simbolo de contrapositiva: ~q -> ~ p Falsa
39. Si 4 < 6, entonces 9 < 12.
Simbolo: p -> q Verdadera
Reciproca: Si 9 < 12, entonces 4 < 6.
Simbolo reciproca: q -> p Verdadera
Contrapositiva: Si no es cierto que 9 < 12, entonces no es cierto que 4 < 6.
Simbolo contrapositiva: ~q -> ~ p Verdadera
40. |1| < 3 si –3 < 1 < 3. Si -3 < 1 < 3, entonces |1| < 3
Simbolo: p -> q Verdadera
Reciproca: Si |1| < 3, entonces -3 < 1 < 3.
Simbolo reciproca: q -> p Verdadera
Contrapositiva: Si no es cierto que |1| < 3, entonces no es cierto que -3 < 1 < 3.
Simbolo contrapositiva: ~q -> ~ p Verdadera
41. |4| < 3 si –3 < 4 < 3. Si -3 < 4 < 3, entonces |4| < 3
Simbolo: p -> q Verdadera
Reciproca: Si |4| < 3, entonces -3 < 4 < 3
Simbolo reciproca: q -> p Verdadera
Contrapositiva: Si no es cierto que |4| < 3, entonces no es cierto que -3 < 4 < 3.
Simbolo contrapositiva: ~q -> ~ p Verdadera
Para cada par de proposiciones P y Q en los ejercicios 42 al 51, establezca si P ≡ Q o no
42. P = p, Q = p ∨ q ------------------------------- No son equivalentes
44. P = p → q, Q = ¬p ∨ q ----------------------- Son equivalentes
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 q p impl q q impl p
V V V V
V F F F
F V F F
F F V V

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) ~(𝑝 → 𝑞) ∧ ~(𝑟 ∨ 𝑞)
~(~p V q) ^ (~r ^ ~ q) ---------Ley condicional y Ley de Morgan
(p ^ ~ q) ^ (~r ^ ~ q) ---------- Ley de Morgan
p ^ ~ q ^ ~ q ^ ~r ------------- Ley commutativa
p ^ (~ q ^ ~r) ------------------- ley asociativa
2) (∼∼ 𝑞 ∨ 𝑞) ∧ (𝐹 ∨ 𝑝) ∨ ~(𝐹 ∧ ~𝑠)
(q ^ p) v ~(F ^ ~ s) --------- Ley idempotente y Ley de la doble negacion
(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
V
3) ~(𝑝 ↔ 𝑞) ∨ (𝑝 ∧∼ 𝑞)
~(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 commutativa
(p ^ ~q) v (q ^ ~ p) -------------------- Ley idempotente
4) ∼ 𝑞 ∧ (𝑞 ∨ 𝑟 ∨ (𝑞 ∧∼ 𝑟))
~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 idenpotente
(~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
 Tarea 3
Ejercicios sobre cálculo de predicados
(inferencia lógica)
PARTE 1. DEMOSTRACIONES
Resuelva los siguientes ejercicios sobre demostraciones en el capítulo 1.5, página 48, del libro de
texto “Matemáticas discretas - JohnsonbaughArchivo”:
8. Pruebe que para todos los enteros m y n, si m y n son impares, entonces m + n es par.
Demostracion Se supone que m y n son enteros arbitrarios y que
m es impar y n es impar
es verdadera. Se prueba que
m + n es par
es verdadera. Por definicion, como m es impar, existe un entero k1 tal que m = 2k1 + 1. Tambien
por definicion, como n es impar, existe un numero k2 tal que n = 2k2 +1. La suma es
m + n = (2k1 + 1) + (2k2 +1) = 2(k1 + k2) + 2
Entonces, existe un entero k tal que m + n = 2k + 2. Por tanto m + n es par.
10. Pruebe que para todos los enteros m y n, si m y n son impares, entonces mn es impar.
Demostracion Se supone que m y n son enteros arbitrarios y que
m es impar y n es impar
es verdadera. Se prueba que
mn es impar
es verdadera. Por definicion, como m es impar, existe un entero k1 tal que m = 2k1 + 1. Tambien
por definicion, como n es impar, existe un numero k2 tal que n = 2k2 +1. La multiplicacion es
mn = (2k1 + 1) (2k2 + 1) =
2k1 + 1
2k2 + 1
4k1k2 + 2k2
2k1 + 1
4k1k2 + 2k2 + 2k1 + 1
Entonces, existen dos numeros enteros k1 y k2 tal que mn = 4k1k2 + 2k2 + 2k1 + 1. Por tanto mn
es impar.
12. Si a y b son números reales, se define máx{a, b} como el máximo entre a y b o el valor
común si son iguales. Pruebe que para todos los números reales d, d1, d2, x,
si d = máx{d1, d2} y x ≥ d, entonces x ≥ d1 y x ≥ d2
Demostracion Se supone que d, d1, d2, x son numeros reales arbitrarios y que
d = máx{d1, d2} y x ≥ d,
es verdadera. Se prueba que
x ≥ d1, y x ≥ d2
es verdadera.
De la definicion de max se tiene que d = max{d1 y d}. De x ≥ d se puede derivar que x ≥ d1 y x
≥ d2, ya que para todos los numeros reales d, d1, d2, x, si d = máx{d1, d2} y x ≥ d, entonces x ≥
d1 y x ≥ d2.
17. Sea

el promedio de los números reales s1, . . . , sn. Demuestre, por contradicción, que existe i tal
que si ≥ A.
Demostracion Sean s1, . . . , sn, n, numeros reales arbitrarios. Se supondra que la conclusion es
falsa, es decir que ~( si ≥ A) es verdadera.
Se esta suponiendo que si <= A. Se ha obtenido la contradiccion si ≥ A ^ ~ si ≥ A
26. Utilice la demostración por casos para probar que para todos los números reales x y y.

Si max{x, y}, entonces

x + y + |x – y|
2
Es decir,
x + y + x + y = 2x + 2y = x + y
2 2
Se ha probado que max{x, y}
27. Utilice la demostración por casos para probar que para todos los números reales x y y.

Si min{x, y}, entonces

 x + y - |x – y|
2
Es decir,
x + y + x + y = 2x + 2y = x + y
2 2
Se ha probado que max{x, y}
Formule con símbolos los argumentos de los ejercicios 31 al 35 y determine si cada uno es
válido. Sean
p: Estudio duro. q: Obtengo 10. r: Me hago rico.
31. Si estudio duro, entonces obtengo 10.
Estudio duro .
∴ obtengo 10.
p -> q
p .
:.q Valido
32. Si estudio duro, entonces obtengo 10.
Si no me hago rico, entonces no obtengo 10.
∴ Me hago rico.
p -> q
~r -> ~q
:. r Invalido
33. Estudio duro si y sólo si me hago rico.
Me hago rico .
∴ estudio duro
p <-> r
r .
p Valido
Determine si cada argumento en los ejercicios 41 al 45 es válido.
 Invalido

Valido

Invalido

Invalido

Valido
Para cada argumento en los ejercicios 49 al 52, diga qué regla de inferencia se usó.
49. La pesca es un deporte popular. Por lo tanto, pescar es un deporte popular o el lacrosse
es muy popular en California. Suma
50. Si la pesca es un deporte popular, entonces el lacrosse es muy popular en California. La
pesca es un deporte popular. Por lo tanto, el lacrosse es muy popular en California. Modus
Ponens
51. La pesca es un deporte popular o el lacrosse es muy popular en California. El lacrosse
no es muy popular en California. Por lo tanto, la pesca es un deporte popular. Silogismo
disyuntivo
Use la resolución para derivar cada combinación en los ejercicios 2 al 5. Sugerencia: En los
ejercicios 5 y 6, sustituya → y ↔ con expresiones lógicamente equivalentes que usan o e y.
al aplicar prueba por resolucion a la primera y a la segunda expresion se deriva:
4. ~ p v r
al aplicar prueba por resolucion a la tercera y a la cuarta expresion se deriva:
5. ~ p

al aplicar prueba por resolucion a la primera y a la segunda expresion se deriva:

4. ~p v q
al aplicar prueba por resolucion a la tercera y a la cuarta expresion se deriva:
5. q

al aplicar prueba por resolucion a la primera y a la cuarta expresion se deriva:

5. t v q v r v u
al aplicar prueba por resolucion a la segunda y a la quinta expresion se deriva:
tvrvuvs
la expresion tres no es una clausula.

Ley de la condicional
3. ~ p v q
al aplicar prueba por resolucion a la segunda y a la tercera expresion se deriva:
4. q v q
Ley idempotente
5. q
PARTE 2. INFERENCIA DE CONOCIMIENTOS
Resuelva los siguientes ejercicios sobre inferencia de conocimientos. Utilice las propiedades
del cálculo de predicados e indique cuándo las usa para inferir conocimiento. Debe inferir
como mínimo cuatro variables terminales.

Al aplicar silogismo hipotetico a las expresiones 1 y 2, obtenemos:

5. p -> r
Al aplicarle simplificacion a la expresione 3 y 4, obtenemos:
6. ~ r
7. s
Al aplicarle prueba por resolucion a las expresiones 4 y 7, obtenemos:
8. q v t
Al aplicarle Modus tollens a las expresiones 5 y 6, obtenemos:
9. ~ p

Al aplicarle la ley de morgan a la expresion 1, obtenemos:

6. ~ p v ~q
Al aplicar prueba por resolucion en las expresiones 2 y 6, obtenemos:
7. r v ~q
Al aplicar prueba por resolucion en las expresiones 3 y 7, obtenemos:
8. t v ~ q
Al aplicar simplificacion a la expresion 5, obtenemos:
9. t
10. r
Al aplicarle el modus tollens a las expresiones 4 y 10, obtenemos:
11. ~ q

Al aplicarle modus tollens a las expresiones 2 y 3, obtenemos:

6. ~ (p v q v r)
Al aplicarle la ley de Morgan a la expresion 6, obtenemos:
7. ~ p ^ ~ q ^ ~ r
Al aplicarle la simplificacion a la expresion 7, obtenemos:
8. ~ p
9. ~ q
10. ~ r
Al aplicarle el silogismo diyuntivo a las expresiones 4 y 5, obtenemos:
11. s