Ejemplo
Cargado por
juan perezEjemplo
Cargado por
juan perezNombre:
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 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 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
