Nombre:

Luis carlos menmdez

Matricula:

316-65-69

Asignatura:

Metodos numericos

Tema:

Lógica y demostraciones

Profesor@:

Francisco Genao

Santo domingo republica dominicana

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 unaproposicion
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 no42. 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 equivalents

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 identida