ACTIVIDAD 6

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

José pasará el examen de matemáticas discretas solo si estudia duro

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

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

3. Una condición necesaria para que Fernando compre una

computadora es que obtenga $2000.

Una condición necesaria para que Fernando compre una computadora es solo si
obtiene $2000.

4. Una condición suficiente para que Katia tome el curso de algoritmos

es que apruebe matemáticas discretas.

Una condición suficiente para que Katia tome el curso de algoritmos es solo si
aprueba matemáticas discretas.

5. Cuando se fabriquen mejores automóviles, Buick los fabricará.

Cuando se fabriquen mejores automóviles entonces Buick los fabricará.

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

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

7. El programa es legible sólo si está bien estructurado.

El programa es legible,sólo si está bien estructurado

8. Escriba la recíproca de cada proposición en los ejercicios 1 al 7.

A) Si estudia duro, José pasara el examen de matemáticas discretas

B) Si tiene créditos por 160 horas-trimestre, Rosa se graduará

C) Si obtiene $2000 entonces Fernando comprara una computadora.

D) Si aprueba matemáticas discretas, Katia tomará el curso de algoritmos.

E) Buick fabricará solo sí se fabrican los mejores automóviles.

 F) Si el maestro de ceremonias da un sermón, la audiencia se dormirá.

G) Si está bien estructurado, entonces el programa es legible.

9. Escriba la contrapositiva de cada proposición en los ejercicios 1 al 7.

A) José no pasará el examen de matemáticas discretas solo si no estudia duro

Jose pasara el examen de matemáticas discretas solo si estudia duro

B) Rosa no se graduará, si no tiene créditos por 160 horas-trimestre.

Rosano No se graduara, si No tiene créditos por 160 horas-trimestre

C) Una condición necesaria para que Fernando no compre una computadora

es solo si no obtiene $2000.

Una condición necesaria para que fernando compre una computadora es solo si
obtiene $2000

D) Una condición suficiente para que Katia no tome el curso de algoritmos es

solo si no aprueba matemáticas discretas.

Una condición suficiente para que katia tome el curso de algoritmos es solo si
aprueba matemáticas discretas

E) Cuando no se fabriquen mejores automóviles entonces Buick no los

fabricará.

Cuando se fabriquen mejores automóviles entonces Buick los fabricara

F) La audiencia no se dormirá solo si el maestro de ceremonias no da un

sermón

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

G) El programa no es legible entonces no está bien estructurado

El programa es legible entonces 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
10.p → q= Verdadero
11.¬p → ¬q= Falso
12.¬( p → q)=Falso
13.( p → q) ∧ (q → r)= Falso
14.( p → q) → r= Falso p=0 r=0 q=1 s=1
15.p → (q → r) Verdadero
16.(s → ( p ∧ ¬r)) ∧ (( p → (r ∨ q)) ∧ s)= Falso
17.(( p ∧ ¬q) → (q ∧ r)) → (s ∨ ¬q)= Verdadero

Los ejercicios 18 al 27 se refieren a las proposiciones p, q y r; p es verdadera, q es

falsa y el estado de r no se conoce por ahora. Diga si cada proposición es
verdadera, falsa o tiene un estado desconocido.
18.p ∨ r verdadero

p r pvr

1 0 1

1 1 1

19.p → r desconocido

p r p→r

1 0 0

1 1 1

20.r → p desconocido

p r r→p

1 0 1

1 1 0
21.( p ∧ r) ↔ r verdadero

p r p∧r (p ∧ r) ↔ r

1 0 0 1

1 0 0 1

1 1 1 1

1 1 1 1

22.(q ∧ r) ↔ r negativo

q r q∧r (q ∧ r) ↔ r

0 0 0 0

0 1 0 0

23.p ∧ r desconocido

p r p∧r

1 0 0e

1 1 1

24.q → r desconocido

p r q→r

1 0 0

1 1 1
25.r → q negativo

q r r→q

1 0 0

1 0 0

26.( p ∨ r) ↔ r negativo

p r pvr (p ∨ r) ↔ r

1 0 1 0

1 1 0 0

27.(q ∨ r) ↔ r desconocido

q r (q ∨ r) (q ∨ r) ↔ r

1 0 1 0

1 1 1 1

En los ejercicios 28 al 31, representa con símbolos la proposición

cuando
p: 4 < 2, q: 7 < 10, r: 6 < 6
28. Si 4 < 2, entonces 7 < 10: Si p → 7 < 10
29. Si (4 < 2 y 6 < 6), entonces 7 < 10: Si (p ∧ r)→q
30. Si no ocurre que (6 < 6 y 7 no es menor que 10), entonces 6 < 6: Si ¬(r ∧ ¬q)
31. 7 < 10 si y sólo si (4 < 2 y 6 no es menor que 6): r ↔(p ∧ ¬r)

En los ejercicios 32 al 37, formule la expresión simbólica en palabras

usando
p: Hoy es lunes,
q: Está lloviendo,
r: Hace calor
32.p → q : Hoy es Lunes solo si esta lloviendo.
33. ¬q → (r ∧ p): No está lloviendo solo si ocurre que hace calor y es lunes.
34.¬p → (q ∨ r): Hoy no es lunes,está lloviendo o hace calor.
35. ¬( p ∨ q)↔ r: No ocurre que hoy es lunes o está lloviendo si solo si hace calor.
36.( p ∧ (q ∨ r)) → (r ∨ (q ∨ p)):Ocurre que hoy es lunes y ocurre que está lloviendo
o hace calor solo si ocurre que hace calor o ocurre que está lloviendo o es lunes.
37.( p ∨ (¬p ∧ ¬(q ∨ r))) → ( p ∨ ¬(r ∨ q)):Ocurre que hoy es lunes o ocurre que hoy
no es lunes y no ocurre que está lloviendo o hace calor solo si ocurre que hoy es
lunes o no ocurre que hace calor o está lloviendo.

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 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: R= Sea p = 4 < 6, q =9 > 12 p→q es Falsa
Recíproca: q→p; Si 9 > 12 entonces 4 < 6; es verdadera
Contra positiva: ¬p→¬q, si no ocurre que 4 < 6, entonces no ocurre que 9 > 12; es
Falsa
39. Si 4 < 6, entonces 9 < 12. R= Sea p = 4 < 6, q =9 < 12 p→q es Verdadera
Recíproca: q→p; Si 9 < 12 entonces 4 < 6; es Verdadero
Contra positiva: ¬p→¬q, si no ocurre que 4 < 6, entonces no ocurre que 9 < 12; es
Verdadera
40. |1| < 3 si –3 < 1 < 3. R= Sea p = |1| < 3, q = –3 < 1 < 3 p→q es Verdadera
Recíproca: q→p; Si 9 > 12 entonces 4 < 6; es verdadera
Contra positiva: ¬p→¬q, si no ocurre que 4 < 6, entonces no ocurre que 9 > 12; es
Verdadera
41. |4| < 3 si –3 < 4 < 3. R= Sea p = |4| < 3, q = –3 < 4 < 3 p→q es Verdadera
Recíproca: q→p; Si 9 > 12 entonces 4 < 6; es verdadera
Contra positiva: ¬p→¬q, si no ocurre que 4 < 6, entonces no ocurre que 9 > 12; es
Falsa

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 es P ≡ Q
Q
p q p∨q
P
0 0 0
p 0 1 1
0 1 0 1
1 1 1 1

43.P = p ∧ q, Q = ¬p ∨ ¬q no es P ≡ Q
P Q
p q p∧q p q ¬p ¬q ¬p ∨ ¬q
0 0 0 0 0 1 1 0
0 1 0 0 1 1 0 1
1 0 0 1 0 0 1 1
1 1 1 1 1 0 0 1
 44.P = p → q, Q = ¬p ∨ q = P ≡ Q
P Q
p q p→q p q ¬p ¬p ∨ q
0 0 1 0 0 1 1
0 1 1 0 1 1 1
1 0 0 1 0 0 0
1 1 1 1 1 0 1

45.P = p ∧ (¬q ∨ r), Q = p ∨ (q ∧ ¬r) = no es P ≡ Q

P Q
p q r ¬q (¬q ∨ r) p∧1 p q r ¬r (q ∧¬ r) p∨1
1 1
0 0 0 1 1 0 0 0 0 1 0 0
0 0 1 1 1 0 0 0 1 0 0 0
0 1 0 0 0 0 0 1 0 1 1 1
0 1 1 0 1 0 0 1 1 0 0 0
1 0 0 1 1 1 1 0 0 1 0 1
1 0 1 1 1 1 1 0 1 0 0 1
1 1 0 0 0 0 1 1 0 1 1 1
1 1 1 0 1 1 1 1 1 0 0 1

46.P = p ∧ (q ∨ r), Q = ( p ∨ q) ∧ ( p ∨ r) = no es P ≡ Q
P Q
p q r (q ∨ r) p∧1 p q r (p ∨ q) (p ∨ r) 1∧2
1 1 2
0 0 0 0 0 0 0 0 0 0 0
0 0 1 1 0 0 0 1 0 1 0
0 1 0 1 0 0 1 0 1 0 0
0 1 1 1 0 0 1 1 1 1 1
1 0 0 0 0 1 0 0 1 1 1
1 0 1 1 1 1 0 1 1 1 1
1 1 0 1 1 1 1 0 1 1 1
1 1 1 1 1 1 1 1 1 1 1
47.P = p → q, Q = ¬q → ¬p = P ≡ Q
P Q
p q p→q p q ¬p ¬q ¬q → ¬p
0 0 1 0 0 1 1 1
0 1 1 0 1 1 0 1
1 0 0 1 0 0 1 0
1 1 1 1 1 0 0 1
48.P = p → q, Q = p ↔ q = no es P ≡ Q

P Q
p q p→q p q p↔q
0 0 1 0 0 1
0 1 1 0 1 0
1 0 0 1 0 0
1 1 1 1 1 1

49.P = ( p → q) ∧ (q → r), Q = p → r = no es P ≡ Q

P
p q r (p → q) (q → r) 1∧2
1 2
0 0 0 1 1 1 Q
0 0 1 1 1 1 p r p→r
0 1 0 1 0 0 0 0 1
0 1 1 1 1 1 0 1 1
1 0 0 0 1 0 1 0 0
1 0 1 0 1 0 1 1 1
1 1 0 1 0 0
1 1 1 1 1 1
50.P = ( p → q) → r, Q = p → (q → r) = no es P ≡ Q

P Q
p q r (p → q) 1→r p q r (q → r) p→1
1 1
0 0 0 1 0 0 0 0 1 1
0 0 1 1 1 0 0 1 1 1
0 1 0 1 0 0 1 0 0 1
0 1 1 1 1 0 1 1 1 1
1 0 0 0 1 1 0 0 1 1
1 0 1 0 1 1 0 1 1 1
1 1 0 1 0 1 1 0 0 0
1 1 1 1 1 1 1 1 1 1

51.P = (s → ( p ∧ ¬r)) ∧ (( p → (r ∨ q)) ∧ s), Q = p ∨ t = no es P ≡ Q

 Q
p q r s ¬ (p ∧¬ r) (r ∨ (s→1) (p→2) (4 ∧ s) (3 ∧ 5)
r 1 q) 3 4 5
2
0 0 0 0 1 0 0 1 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 1 0 1 1 0
0 1 0 0 1 0 1 1 1 0 0
0 1 0 1 1 0 1 0 1 1 0
0 1 1 0 0 0 1 1 1 0 0
0 1 1 1 0 0 1 0 1 1 0
1 0 0 0 1 1 0 1 0 0 0
1 0 0 1 1 1 0 1 0 0 0
1 0 1 0 0 0 1 1 1 0 0
1 0 1 1 0 0 1 0 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 1 0 1 1 0
Q
p t p∨t
0 0 0
0 1 1
1 0 1
1 1 1