INSTITUTO
POLITÉCNICO
NACIONAL
ESCUELA SUPERIOR DE CÓMPUTO
Matemáticas Discretas
“Ejercicios impares del libro Richard Johnsonbaugh”
Profesora: Sánchez Palacios María Susana
Estudiantes:
Contreras Cervantes Diego Andres
Martínez Aceves José Luis
Trejo Sierra Hector
Villalba Padron Cuauhtemoc
Grupo: 1CM1
FECHA: 07/05/2021
En los ejercicios 1 a 7, restablezca cada proposición en la forma (1.2.2)
de una proposición condicional.
1. José pasará el examen de matemáticas discretas si estudia duro.
p: José pasará el examen de matemáticas discretas
q: estudia duro
𝑝→𝑞
3. Una condición necesaria para que Fernando compre una computadora es que obtenga
$2000.
p: Una condición
q: Fernando compre una computadora
r: obtenga $2000
𝑝↔(𝑞→𝑟)
5. Cuando se fabriquen mejores automóviles, Buick los fabricará.
p: Cuando se fabriquen mejores automóviles
q: Buick los fabricará
𝑝∴𝑞
7. El programa es legible sólo si está bien estructurado.
p: El programa es legible
r: está bien estructurado
𝑝→𝑟
9. Escriba la contrapositiva de cada proposición en los ejercicios 1 al 7.
9.1. Si no estudia duro, José no pasará el examen de matemáticas discretas.
p: José no pasará el examen de matemáticas discretas.
q: Si no estudia duro
¬𝑞→¬𝑝
9.3. Fernando no pueda comprar una computadora es que no obtenga $2000 para que no
sea necesaria una condición .
p: Una condición
q: Fernando pueda comprar una computadora
r: obtenga $2000
(¬𝑞→¬𝑟)↔¬𝑝
9.5. Buick no los fabricará, Cuando no se fabriquen mejores automóviles.
p: Cuando se fabriquen mejores automóviles
q: Buick los fabricará
¬𝑞∴¬𝑝
9.7 No está bien estructurado sólo si el programa no es legible.
p: El programa es legible
r: está bien estructurado
¬𝑟→¬𝑝
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 ¬𝑝 → ¬𝑞
0 1 1 0 0
∴Se concluye que es falsa la proposición
13.( 𝑝 → 𝑞) ∧ (𝑞 → 𝑟)
p q r 𝑝→𝑞 ∧ 𝑞→𝑟
0 1 0 1 0 0
∴Se concluye que es falsa la proposición
Representa con símbolos la proposición cuando: p: 4 < 2, q: 7 < 10, r: 6 < 6
29. Si (4 < 2 y 6 < 6), entonces 7 < 10. (𝑝⋀𝑟)⟶𝑞
31. 7 < 10 si y sólo si (4 < 2 y 6 no es menor que 6). 𝑞 ↔️(𝑝⋀¬𝑟)
Formular la expresión simbólica en palabras usando: p: Hoy es lunes, q: Está
lloviendo, r: Hace calor.
33. ¬𝑞⟶(𝑟⋀𝑝)
Si no está lloviendo, entonces hace calor y hoy es lunes.
35. ¬(𝑝⋁𝑞) ↔️𝑟
Hoy no es lunes o no está lloviendo, si y sólo si hace calor.
37. (𝑝⋁(¬𝑝⋀¬(𝑞⋁𝑟)))⟶(𝑝¬(𝑟⋁𝑞))
Si hoy es lunes, u, hoy no es lunes y no está lloviendo, u, hoy no es lunes y no hace calor;
entonces, hoy es lunes, o, no está lloviendo o no hace calor.
Escriba cada proposición condicional en símbolos. Escriba la recíproca y la
contrarrecíproca 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
contrarrecíproca.
39.
Proposición. Si 4 < 6, entonces 9 < 12. 𝑝⟶𝑞
Recíproca. Si 9 <12, entonces 4 < 6. 𝑞⟶𝑝
Contrarrecíproca. Si 9 no es menor que 12, entonces 4 no es menor que 6. ¬𝑞⟶¬𝑝
41.
Proposición. Si -3 < 4 < 3, entonces |4| < 3. (𝑝⋀𝑞)⟶𝑟
Recíproca. Si |4| < 3, entonces -3 < 4 < 3. 𝑟⟶(𝑝⋀𝑞)
Contrarrecíproca. Si |4| no es menor que 3, entonces ¬𝑟⟶¬(𝑝⋀𝑞)
-3 no es menor que 4, y 4 no es
menor que 3
Para cada par de proposiciones P y Q en los ejercicios 42 al 51, establezca si P≡ Q o
no.
43.- 𝑃 ≡ 𝑝, 𝑄 ≡ 𝑝 ∨ 𝑞
P≠ 𝑄
p q 𝑝∨𝑞
0 0 0
0 1 1
1 0 1
1 1 1
45.- 𝑃 ≡ 𝑝 ∧ (¬𝑞 ∨ 𝑟), 𝑄 ≡ 𝑝 ∨ (𝑞 ∧ ¬𝑟)
P≠ 𝑄
p q r ¬𝑞 (¬𝑞 ∨ 𝑟) ∧ ¬𝑟 (𝑞 ∧ ¬𝑟) ∨
0 0 0 1 1 0 1 0 0
0 0 1 1 1 0 0 0 0
0 1 0 0 0 0 1 1 1
0 1 1 0 1 0 0 0 0
1 0 0 1 1 1 1 0 1
1 0 1 1 1 1 0 0 1
1 1 0 0 0 0 1 1 1
1 1 1 0 1 1 0 0 1
47.- 𝑃 ≡ 𝑝 → 𝑞, 𝑄 ≡ ¬𝑞 → ¬𝑝
𝑃≡𝑄
p q 𝑝→𝑞 ¬𝑞 ¬𝑝 ¬𝑞 → ¬𝑝
0 0 1 1 1 1
0 1 1 0 1 1
1 0 0 1 0 0
1 1 1 0 0 1
49.- 𝑃 ≡ (𝑝 → 𝑞) ∧ (𝑞 → 𝑟), 𝑄 ≡ 𝑝 → 𝑟
𝑃≠𝑄
p q r (𝑝 → 𝑞) ∧ (𝑞 → 𝑟) 𝑝→𝑟
0 0 0 1 1 1 1
0 0 1 1 1 1 1
0 1 0 1 0 0 1
0 1 1 1 1 1 1
1 0 0 0 0 1 0
1 0 1 0 0 1 1
1 1 0 1 0 0 0
1 1 1 1 1 1 1
51.- 𝑃 ≡ (𝑠 → (𝑝 ∧ ¬𝑟)) ∧ ((𝑝 → (𝑟 ∨ 𝑞)) ∧ 𝑠), 𝑄 ≡ 𝑝 ∨ 𝑡
P≠ 𝑄
p q r s ¬𝑟 (𝑝 ∧ ¬𝑟 𝑠 → (𝑝 ∧ ¬𝑟 (𝑟 ∨ 𝑞) (𝑝 → (𝑟 ∨ 𝑞)) ((𝑝 → (𝑟 ∨ 𝑞)) ∧ 𝑠∧
0 0 0 0 1 0 1 0 1 0 0
0 0 0 1 1 0 0 0 1 1 0
0 0 1 0 0 0 1 1 1 0 0
0 0 1 1 0 0 0 1 1 1 0
0 1 0 0 1 0 1 1 1 0 0
0 1 0 1 1 0 0 1 1 1 0
0 1 1 0 0 0 1 1 1 0 0
0 1 1 1 0 0 0 1 1 1 0
1 0 0 0 1 1 1 0 0 0 0
1 0 0 1 1 1 1 0 0 0 0
1 0 1 0 0 0 1 1 1 0 0
1 0 1 1 0 0 0 1 1 1 0
1 1 0 0 1 1 1 1 1 0 0
1 1 0 1 1 1 1 1 1 1 1
1 1 1 0 0 0 1 1 1 0 0
1 1 1 1 0 0 0 1 1 1 0
53. Defina la tabla de verdad para imp2 como
p q p imp2 q
v v v
v f f
f v v
f f f
q p q imp2 p
v v v
f v v
v f f
f f f
p imp2 q q imp2 p p imp2 q ∧q imp2 p
v v v
v f f
f v f
f f f
p q p↔𝑞
v v v
v f f
f v f
f f v
𝑎) 𝑝 𝑖𝑚𝑝2 𝑞 ∧ 𝑞 𝑖𝑚𝑝2 𝑝 ≠ 𝑝 ↔ 𝑞
b)
p q p imp2 q
v v v
v f f
f v v
f f f
55. Demuestre que (p → q) ≡ (¬p ∨ q)
p q ¬p (p → q) (¬p ∨ q)
0 0 1 1 1
0 1 1 1 1
1 0 0 0 0
1 1 0 1 1
