E SCUELA P OLITÉCNICA N ACIONAL

F UNDAMENTOS DE M ATEMÁTICA • H OJA DE EJERCICIOS NO . 2

Semestre 2019-B ( 14 oct al 18 oct) Departamento de Formación Básica

1. Dados los siguientes enunciados:

I: Disminuya la velocidad. III: Mi banca es gris.

II: 10 - 8 = 1. IV: Hola, ¿cómo estás?.

Es verdad que:

a) I y II son proposiciones.
b) I y III son proposiciones.
c) I y IV son proposiciones.
d) II y III son proposiciones.

2. La traducción en el lenguaje formal de la proposición “Si tú eres inteligente y no actúas con prudencia,
eres un ignorante en la materia”, siendo las proposiciones:
m: Tú eres inteligente.
n: Tú actúas con prudencia.
p: Tú eres un ignorante en la materia.
es:

a) (m ∧ ¬n) → p
b) m ∨ (n ∨ p)
c) p → (m ∧ ¬n)
d) (m ∧ ¬ p) → n

3. Dadas las proposiciones simples:

p: Luis llega a tiempo.
q: Luis se levanta temprano.
r: Luis desayuna.
Una traducción al lenguaje formal de la proposición compuesta “Para que Luis desayune y llegue a
tiempo es necesario que se levante temprano”, es:

a) r → ( p ∧ q)
b) (r ∧ p) → q
c) q → ( p ∧ r )
d) ( p ∧ q) → r

4. Para la siguiente proposición construya la tabla de verdad e indica si se trata de una tautología, contra-
dicción o contingencia.
B : (( p → q) ∨ (¬q ∧ r )) ↔ (r ↓ q)
Respuesta: Es una contingencia
 
5. Desarrollar la tabla de verdad para la siguiente proposición: A: ( p ∧ q) → (r ∨ ¬ p) ∧ r.

1
 Solución.

p q r p∧q ¬p r ∨ ¬p [( p ∧ q) → (r ∨ ¬ p)] A
F F F F V V V F
F F V F V V V V
F V F F V V V F
F V V F V V V V
V F F F F F V F
V F V F F V V V
V V F V F F F F
V V V V F V V V

6. Determine el valor de verdad de las proposiciones P, ¬ Q, S y ¬ T si el valor de verdad de la siguiente

proposición 


( P → Q) ⊻ T ∧ ( Q ↓ S) ∨ T → T

es falso.

Solución. Los valores de verdad de las proposiciones P y S son falsos, mientras que los valores de verdad
de las proposiciones ¬ Q y ¬ T son verdaderos.

7. Determine el valor de verdad de las proposiciones P, Q, R, S y T si el valor de verdad de la siguiente

proposición  

 

(¬ R ∨ Q) → S ∨ ( P ∨ T ) ↓ ¬ ( P ∨ Q) ↔ S ∧ ¬S

es verdadero.

Solución. Por hipótesis tenemos que

   



(¬ R ∨ Q) → S ∨ ( P ∨ T ) ↓ ¬ ( P ∨ Q) ↔ S ∧ ¬S (1)

es verdadero.
Por la definición de conjunción junto con (1) se tiene que

 

(¬ R ∨ Q) → S ∨ ( P ∨ T ) ↓ ¬ ( P ∨ Q) ↔ S (2)

¬S (3)

son verdaderas.
Por la definición de negación junto con (3) tenemos que

S (4)

es falsa.
Por la definición de conjunción negativa junto con (2) tenemos que


(¬ R ∨ Q) → S ∨ ( P ∨ T ) (5)

y


¬ ( P ∨ Q) ↔ S (6)

2
 son falsas.
Por la definición de disyunción junto con (5) tenemos que

(¬ R ∨ Q) → S (7)

P∨T (8)

son falsas.
Por la definición de disyunción junto con (8) tenemos que

P (9)

T (10)

son falsas.
De la definición de negación junto con (6) tenemos que

( P ∨ Q) ↔ S (11)

es verdadera.
De la definición de bicondicional y de disyunción junto con (9), (4) se tiene que

Q (12)

es falsa.
De la definición de la condicional, negación y disyunción junto con (7) (12) y (4) se obtiene que

R (13)

es falsa.
Finalmente, concluimos que P, Q, R, S y T tienen valor de verdad falso.

8. Si (¬ p ∧ q) → r es falso, determine el valor de verdad de (q ∨ s) → ¬(r ∧ p).

Respuesta: (q ∨ s) → ¬(r ∧ p) es verdadera.



9. Simplifique la proposición q → (q ↓ r ) → p → ¬(r → p) .
Respuesta: p → q.

Solución.
[q → (q ↓ r )] → [ p → ¬(r → p)]
≡ [¬q ∨ ¬(q ∨ r )] → [¬ p ∨ ¬(¬r ∨ p)] Eq. condicional y Conjunción Negativa
≡ [¬q ∨ (¬q ∧ ¬r )] → [¬ p ∨ (r ∧ ¬ p)] DeMorgan
≡ ¬q → ¬ p Absorción
≡p→q Eq. Contra-recíproco

10. Simplificar la proposición: R ⊻ S, donde R representa la proposición:

( p ∨ q) ∧ (q → p) ∨ ( p → q) ,
y S representa la proposición:



p ∧ (¬ p → q) ↔ p → ¬(q → p) .

3
 Respuesta: p ∨ q

Solución.
{( p ∨ q) ∧ [(q → p) ∨ ( p → q)]} ⊻ {[ p ∧ (¬ p → q)] ↔ [ p → ¬ (q → p)]}
≡ {( p ∨ q) ∧ [(¬q ∨ p) ∨ (¬ p ∨ q)]} ⊻ {[ p ∧ ( p ∨ q)] ↔ [¬ p ∨ (q ∧ ¬ p)]} Eq. Condicional
≡ {( p ∨ q) ∧ [(¬q ∨ q) ∨ (¬q ∨ q)]} ⊻ { p ↔ ¬ p} Asociativa, Absorción
≡ {( p ∨ q) ∧ [V ∨ V ]} ⊻ F Complemento y P ↔ ¬ P ≡ F
≡ { p ∨ q} ⊻ F Identidad
≡ p∨q P⊻F ≡ P

11. Simplificar la siguiente proposición:



p ∧ ( p ↔ q) → (q → ( p ⊻ q)) ⊻ ¬ ((r ∧ p) → ( p → r )) .

Respuesta: ¬ ( p ∧ q)

Solución.
{[ p ∧ ( p ↔ q)] → [q → ( p ⊻ q)]} ⊻ ¬ [(r ∧ p) → ( p → r )]
≡ {¬ [ p ∧ ( p ↔ q)] ∨ [¬q ∨ ( p ⊻ q)]} ⊻ ¬ [¬(r ∧ p) ∨ (¬ p ∨ r )] Eq. condicional
≡ {[¬ p ∨ ( p ⊻ q)] ∨ [¬q ∨ ( p ⊻ q)]} ⊻ ¬ [(¬r ∨ ¬ p) ∨ (¬ p ∨ r )] DeMorgan, ¬( P ↔ Q) ≡ P ⊻ Q
≡ {[¬ p ∨ ¬q] ∨ ( p ⊻ q)} ⊻ ¬ [(¬r ∨ r ) ∨ ¬ p] Asociativa, Idempotencia
≡ {¬ ( p ∧ q) ∨ [( p ∨ q) ∧ ¬( p ∧ q)]} ⊻ ¬ [(V ∨ ¬ p] DeMorgan, Eq. Dis. Exc., Complemento
≡ ¬ ( p ∧ q) ⊻ F Absorción, Identidad, Complemento
≡ ¬ ( p ∧ q) P⊻F ≡ P

12. Simplificar la siguiente proposición:

(¬ p ↔ q) ↔ p.
Respuesta: ¬q

Solución.
(¬ p ↔ q) ↔ p ≡ (¬ p ↔ p) ↔ q Asociativa
≡F↔q Eq. Bicondicional
≡ ¬q Eq. Bicondicional

13. Sean p, q y r proposiciones. Encuentre el valor de verdad de [ p ↓ ¬(r ∨ q)] ↔ ( p ∧ q) si

a) p(V ), q( F ) y r (V )
b) p(V ), q(V ) y r ( F )
c) p(V ), q(V ) y r (V )
d) p( F ), q( F ) y r ( F )

Solución.

a) Verdadero.
b) Falso.

4
 c) Falso.
d) Verdadero.

14. Sean p y q dos proposiciones. Pruebe que:

a) ¬ p ≡ p ↓ p
b) p ∨ q ≡ ( p ↓ q) ↓ ( p ↓ q)
c) p ∧ q ≡ ( p ↓ p) ↓ (q ↓ q)
d) ( p ↔ q) ∧ ¬( p ∧ q) ≡ p ↓ q.

Solución. Probemos que es válida la siguiente equivalencia lógica

( p ↔ q) ∧ ¬( p ∧ q) ≡ p ↓ q
Para ello:


( p ↔ q) ∧ ¬( p ∧ q) ≡ ( p → q) ∧ (q → p) ∧ (¬ p ∨ ¬q) Def. doble implicación, DeMorgan


≡ (¬ p ∨ q) ∧ (¬q ∨ p) ∧ (¬ p ∨ ¬q) Def. implicación


≡ (¬ p ∨ q) ∧ (¬ p ∨ ¬q) ∧ (¬q ∨ p) Asociativa


≡ ¬ p ∨ (q ∧ ¬q) ∧ (¬q ∨ p) Distributiva
≡ (¬ p ∨ F ) ∧ (¬q ∨ p) Complemento
≡ ¬ p ∧ ( p ∨ ¬q) Identidad, conmutativa
≡ ¬ p ∧ ¬q Absorción
≡p↓q Def. conjunción negativa

Por tanto, la equivalencia lógica dada es válida.

15. Dadas las siguientes premisas, demostrar la conclusión dada.

H1 ) W → ( P ∧ R)
H2 ) W ∧ ¬( T ↓ W )
H3 ) (¬ Q ∧ ( Q → S)) ⊻ ( R ∨ ( R ∧ W ))
( Q ∧ R) ∨ S

Solución.

Proposiciones Razones
1. W ∧ ( T ∨ W ) 1. Eq. Conjunción Negativa en H3
2. W 2. Absorción en 1.
3. [¬ Q ∧ (¬ Q ∨ S)] ⊻ R 3. Eq. Condicional y Absorción en H4
4. ¬ Q ⊻ R 4. Absorción en 3.
5. P ∧ R 5. Ponendo Ponens entre H1 y 2.
6. R 6. Simplificación en 5.
7. Q 7. Ponendo Tollens entre 4. y 6.
8. Q ∧ R 8. Conjunción entre 6. y 7.
9. ( Q ∧ R) ∨ S 9. Adición Disyuntiva en 8.

5
16. Dadas las siguientes premisas, demostrar la conclusión dada.

H1 ) Q ↓ S
H2 ) ( P ↔ T ) → Q
H3 ) ((¬ T ↓ Q) ∨ (¬ T ↓ S))
¬P

Solución. Se procede:

Proposiciones Razones
1. ¬ Q ∧ ¬S 1. Eq. Conjunción Negativa en H1 ).
2. ¬ Q 2. Simplificación en 1.
3. P ⊻ T 3. Tollendo Tollens entre H2 ) y 2.; y Eq.
Disyunción Exclusiva
4. ( T ∧ ¬ Q) ∨ ( T ∧ ¬S) 4. Eq. C.N.
5. T ∧ (¬ Q ∨ ¬S) 5. Distributiva en 4.
6. T 6. Simplificación en 5.
7. ¬ P 7. Ponendo Tollens entre 3. y 6.

17. Dadas las siguientes premisas, demostrar la conclusión dada.

H1 ) ¬ ((S ↓ ¬U ) → (W → T ))
H2 ) ( Q ⊻ ( P ∧ ¬ P)) ∨ S
H3 ) (V ⊻ ¬W ) → (( P → R) → P)
( P ∧ Q) ∨ R

Solución.

6
 Proposiciones Razones
1. (¬S ∧ U ) ∧ ¬(W → T ) 1. Eq. Conjunción Negativa y
Condicional (¬( P → Q) ≡ P ∧ ¬ Q)
en H1
2. (¬S ∧ U ) ∧ (W ∧ ¬ T ) 2. Eq. Condicional
(¬( P → Q) ≡ P ∧ ¬ Q) en 1
3. { Q ⊻ [( P ∧ ¬ P) → U ]} → 3. Absorción, DeMorgan,
[(S ∧ U ) ∨ (S ∧ ¬U )] ¬( P → Q) ≡ P ∧ ¬ Q en H2
4. { Q ⊻ [F → U ]} → [S ∧ (¬U ∨ U )] 4. Complemento, Distributiva en 3.
5. { Q ⊻ V } → S 5. F → Q ≡ V, Complemento e
identidad en 4.
6. ¬ Q → S 6. P ⊻ V ≡ ¬ P en 5.
7. ((¬ Q ⊻ Q) ⊻ ¬W ) → [( P ∧ ¬ R) ∨ P] 7. Asociativa, condicional y
¬( P → Q) ≡ P ∧ ¬ Q en H3
8. (V ⊻ ¬W ) → P 8. ¬ P ⊻ P ≡ V en 7.
9. W → P 9. P ⊻ V ≡ ¬ P en 8.
10. W 10. Simplificación en 2.
11. P 11. Ponendo Ponens entre 9. y 10.
12. ¬S 12. Simplificación en 2.
13. Q 13. Tollendo Tollens entre 6. y 12.
14. P ∧ Q 14. Conjunción entre 11 y 13.
15. ( P ∧ Q) ∨ R 15. Adición Disyuntiva en 14.

18. Dadas las siguientes premisas, demostrar la conclusión dada.

H1 ) (w → r ) → ( p ∧ r )
H2 ) p ↔ q
H3 ) q ↓ s
w ∧ ¬r

Solución.

Proposiciones Razones
1. ( p → q) ∧ (q → p) 1. Eq. Bicondicional en H2
2. ¬q ∧ ¬s 2. Eq. Conjunción Negativa en H3
3. p → q 3. Simplificación en 1.
4. ¬q 4. Simplificación en 2.
5. ¬ p 5. Tollendo Tollens entre 3. y 4.
6. ¬ p ∨ ¬r 6. Adición Disyuntiva en 5.
7. ¬( p ∧ r ) 7. DeMorgan en 6.
8. ¬(w → r ) 8. Tollendo Tollens entre H1 y 7.
9. w ∧ ¬r 9. Eq. condicional en 8.

7
19. Demostrar que:
H1 ) x < y ↔ y > 4
H2 ) y = 6 ↔ x + y = 10
H3 ) y > 4 ∧ ¬( x + y 6= 10)
x < y∧y = 6

Solución.
Defina las proposiciones:
p: x < y.
q: y > 4.
r: y = 6.
s: x + y = 10.
Y demuestre que
p ↔ q, r ↔ s, q ∧ ¬(¬s) ⊢ p ∧ r.

20. Demostrar que:

H1 ) ( x = y) → ¬( x + y 6= 1)
H2 ) ( x + y 6= 1) ∨ ¬( x − y = 2)
H3 ) ¬( x es par) → ( x − y = 2)
H4 ) ¬( x es par)
C) x 6= y

21. Demostrar que:

H1 ) ( x = 1) → (y es impar)
H2 ) (y es impar) ↓ ¬( x = −y)
H3 ) ( x es primo) ∨ ¬( x = −y)
( x es primo) ∧ ¬( x = 1)

Solución. Primeramente, escribamos en lenguaje proposicional:

p q
z }| { z }| {
H1 ) ( x = 1) → (y es impar)
q r
z }| { z }| {
H2 ) (y es impar) ↓ ¬ ( x = −y)
s r
z }| { z }| {
H3 ) ( x es primo) ∨¬ ( x = −y)
s p
z }| { z }| {
( x es primo) ∧¬ ( x = 1)

de donde tenemos:

H1 ) p→q
H2 ) q ↓ ¬r
H3 ) s ∨ ¬r
s ∧ ¬p

8
 Proposiciones Razones
1. ¬q ∧ r 1. Def. conjunción negativa, doble
negación en H2 )
2. ¬q 2. Eliminación de la conjunción en 1.
3. ¬ p 3. Modus Tollens entre H1 y 2.
4. r 4. Eliminación de la conjunción en 1.
5. s 5. Eliminación de la disyunción entre
H3 y 4.
6. s ∧ ¬ p 6. Introducción de la conjunción entre
5. y 3.

Por tanto se puede concluir:

( x es primo) ∧ ¬( x = 1)
de las premisas dadas.

22. Simplifique la siguiente proposición

(( p♥q) ∧ q)♥ p
considerando que
p♥q ≡ ¬ p ∧ q.

Solución. La simplificación de la proposición es p ∧ q.

23. Simplifique la siguiente proposición

( p♣(q ∧ p))♣¬q
considerando que
p♣q ≡ ¬ p → q.

Solución. Para ello:

( p♣(q ∧ p))♣¬q ≡ ¬((¬ p → (q ∧ p)) → ¬q Def. ♣
≡ ¬( p ∨ (q ∧ p)) → ¬q Def. implicación
≡ ¬ p → ¬q Absorción

24. Mostrar que

¬(q → p) ∨ ( p ∧ q) ⇐⇒ q

Solución.

¬(q → p) ∨ ( p ∧ q) ⇔ (¬(¬q ∨ p)) ∨ ( p ∧ q) Implicación

⇔ (q ∧ ¬ p) ∨ ( p ∧ q) DeMorgan y Doble Negación
⇔ (q ∧ ¬ p) ∨ (q ∧ p) Conmutativa

9
 ⇔ q ∧ (¬ p ∨ p) Distributiva
⇔ q∧1 Cancelativa
⇔q Identidad



25. Usar equivalencias lógicas para probar que p ∧ (¬ p ∨ q) ∨ ( p ∧ q) → p es una tautología.

Solución.

[( p ∧ ¬(¬ p ∨ q)) ∨ ( p ∧ q)] → p ≡ [( p ∧ (¬(¬ p) ∧ ¬q)) ∨ ( p ∧ q)] → p DeMorgan

≡ [( p ∧ ( p ∧ ¬q)) ∨ ( p ∧ q)] → p Doble Negación
≡ [(( p ∧ p) ∧ ¬q) ∨ ( p ∧ q)] → p Asociativa
≡ [( p ∧ ¬q) ∨ ( p ∧ q)] → p Idempotencia
≡ [ p ∧ (¬q ∨ q)] → p Distributiva
≡ [ p ∧ (q ∨ ¬q)] → p Conmutativa
≡ [ p ∧ V] → p Negación
≡p→p Identidad
≡ ¬p ∨ p Implicación
≡ p ∨ ¬p Conmutativa
≡V Negativa

26. Probar que ( p ∧ q) → ( p ∨ q) es una tautología.

Solución.

( p ∧ q) → ( p ∨ q) ≡ ¬( p ∧ q) ∨ ( p ∨ q)
≡ (¬ p ∨ ¬q) ∨ ( p ∨ q)
≡ (¬ p ∨ p) ∨ (¬q ∨ q)
≡ V∨V
≡V
Substitución por →
DeMorgan
Conmutativa y Asociativa
porque ¬ p ∨ p ≡ V
porque ¬ p ∨ p ≡ V

27. La siguiente proposición es conocida como la ley de absorción:

P ⇐⇒ P ∧ ( P ∨ R) .

Probar que es válida.

Solución.
P ∧ ( P ∨ R) ⇔ ( P ∨ 0) ∧ ( P ∨ R) ⇔ [ P ∨ ( R ∧ ¬ R)] ∧ ( P ∨ R)

10
 ⇔ ( P ∨ R) ∧ ( P ∨ ¬ R) ∧ ( P ∨ R) ⇔ ( P ∨ R) ∧ ( P ∨ ¬ R)

⇔ P ∨ ( R ∧ ¬ R) ⇔ P ∨ F ⇔ P.

28. Usar equivalencias lógicas para probar que

( Q → P) ∧ (¬ P → Q) ⇐⇒ P.
es válida.

Solución.

( Q ⇒ P) ∧ (¬ P ⇒ Q) ⇔ (¬ Q ∨ P) ∧ (¬¬ P ∨ Q) Caracterización de la implicación.

⇔ (¬ Q ∨ P) ∧ ( P ∨ Q) Idempotencia
⇔ ( P ∨ ¬ Q) ∧ ( P ∨ Q) Conmutativa
⇔ P ∨ (¬ Q ∧ Q) Distributiva
⇔ P∨V Complemento
⇔P Complemento.

29. Mostrar que ( p → q) ∧ (q → r ) → ( p → r ) es una tautología.

Solución.

¬( p → r ) → ¬(( p → q) ∧ (q → r )) ≡ ¬¬( p → r ) ∨ ¬(( p →) ∧ (q → r ))

≡ ( p → r ) ∨ (¬( p → q) ∨ ¬(q → r ))
≡ ( p → r ) ∨ (¬( p → q) ∨ ¬(q → r ))
≡ (¬ p ∨ r ) ∨ (¬(¬ p ∨ q) ∨ ¬(¬q ∨ r ))
≡ (¬ p ∨ r ) ∨ ((¬¬ p ∨ ¬q) ∨ (¬¬q ∧ ¬r ))
≡ (¬ p ∨ r ) ∨ (( p ∧ ¬q) ∨ (q ∧ ¬r ))
≡ ¬ p ∨ r ∨ ( p ∧ ¬ q ) ∨ ( q ∧ ¬r )
≡ (¬ p ∨ ( p ∧ ¬q)) ∨ (r ∨ (q ∧ ¬r ))
≡ ((¬ p ∨ p) ∧ (¬ p ∨ ¬q)) ∨ ((r ∨ q) ∧ (r ∨ ¬r ))
≡ (V ∧ (¬ p ∨ ¬q)) ∨ ((r ∨ q) ∧ V )
≡ (¬ p ∨ ¬q) ∨ (r ∨ q)
≡ ¬ p ∨ ¬q ∨ r ∨ q
≡ ¬p ∨ r ∨ V
≡V

30. Estudie la validez del siguiente razonamiento.

Si trabajo, no puedo estudiar.

11
 O trabajo, o paso Matemática.
Pasé la Matemática.
Por tanto, estudié.

31. Estudie la validez del siguiente razonamiento.

Las rosas son rojas.
Las rosas son azules.
Por tanto, las rosas son rojas si y sólo si son azules.

Solución. Si se define:
P: Las rosas son rojas.
Q: Las rosas son azules.
De esta manera tenemos que probar:
H1 ) P
H2 ) Q
P↔Q
luego,

1) P ∨ ¬ Q Introducción de la disyunción en H1
2) Q → P Caracterización de la implicación en 1)
3) Q ∨ ¬ P Introducción de la disyunción en H2
4) P → Q Caracterización de la implicación en 3)
5)( P → Q) ∧ ( P → Q) Introducción de la conjunción en 2) y 4)
6) P ↔ Q Caracterización de la doble implicación en 6)

También se puede probar su validez usando la definición de implicación lógica de la siguiente ma-
nera:
( P ∧ Q) → ( P ↔ Q)
F F F V F V F
F F V V F F V
V F F V V F F
V V V V V V V
En conclusión, este razonamiento es válido.

32. Para los siguientes razonamientos, represente con una letra proposicional cada proposición y demuestra
o refute la conclusión dada.

a) Si x = 1 e y = 2, entonces z = 3. Si, si y = 2, z = 3 entonces w = 0. x = 1. Por consiguiente w = 0.

b) Una función f discontinua en punto puede ser de discontinuidad removible o no. Si la función es
discontinua de discontinuidad removible, existe una función g continua en todo el dominio de f
como también en el punto de discontinuidad de f . No existe una función g continua en todo el
dominio de f como también en el punto de discontinuidad de f . Concluimos que o bien que f es
de discontinuidad no removible, o bien que existe una función g continua en todo el dominio de f
como también en el punto de discontinuidad de f .
c) Si un número es positivo, entonces o bien es menor que cero, o bien es distinto de cero. El número
es igual a cero y no es menor que cero. Concluimos que el número no es positivo.
d) No es verdad que una matriz sea no singular y su determinante sea igual a cero a la vez. Si el
determinante de una matriz no es igual a cero entonces el sistema lineal asociado a ella no tiene

12
 infinitas soluciones. Concluimos que si una matriz es no singular, el sistema lineal asociado a ella
no tiene infinitas soluciones.

Solución. Si se define:
P: una matriz sea no singular.
Q: determinante sea igual a cero.
R: el sistema lineal asociado a ella no tiene infinitas soluciones .

De esta manera tenemos que probar:

H1 ) ¬( P ∧ Q)
H2 ) ¬ Q → R
P→R
luego,

1)¬ P ∨ ¬ Q DeMorgan en H1
2) P → ¬ Q Caracterización de la implicación en 1)
3) P → R Silogismo Hipotetico a 3) y H2

En conclusión, este razonamiento es válido.

33. Escriba la negación de cada una de las proposiciones cuantificadas.

a) (∀m ∈ N )(∃n ∈ N )(2n = m).

b) (∀ x ∈ R )(∃y ∈ R )( xy = 1).
c) (∃ x ∈ R )(∃y ∈ R )( xy = 1).
d) (∃ x ∈ R )(∀y ∈ R )(( x + y)2 = x2 + y2 ).
e) (∃ x ∈ R )(∀y ∈ R )( x + y = y).

Solución.

a) (∃m ∈ N )(∀n ∈ N )(2n 6= m).

b) (∃ x ∈ R )(∀y ∈ R )( xy 6= 1).
c) (∀ x ∈ R )(∀y ∈ R )( xy 6= 1).
d) (∀ x ∈ R )(∃y ∈ R )(( x + y)2 6= x2 + y2 ).
e) (∀ x ∈ R )(∃y ∈ R )( x + y 6= y).

34. Dar un valor de verdad a las siguientes proposiciones y escribir su negación:

a) Sea A = {−5, −4, −3, 2, 4} y B = {1, 2, 3, 4}. Para todo x ∈ A, existe y ∈ B tal que x + y ≥ 0.
b) Existe x ∈ R tal que x2 − 1 = 0.

Solución. Verdadero, ya que para x = −1 se tiene (−1)2 − 1 = 0.

c) Para todo x ≥ 0 y todo y ≤ 0 entonces − x · y ≤ 0.

Solución. La proposición es falsa. Considere el siguiente contraejemplo:

Si x = 1 y y = −1 entonces −(1)(−1) ≥ 0.

13
35. Refutar con un contraejemplo la siguiente afirmación: si P y Q son dos proposiciones entonces la pro-
posición
( P ∨ Q) ↔ ( P ∧ Q)
es una tautología.

Solución. Para refutar una afirmación, es necesario hallar ciertos valores de verdad para P y Q de tal
manera que ( P ∨ Q) ↔ ( P ∧ Q) sea falsa.
Supongamos que P es verdadera y Q es falsa. La tabla de verdad de la proposición P ∨ Q ↔ P ∧ Q
bajo estas asignaciones es la siguiente:

P Q P∨Q P∧Q P∨Q ↔ P∧Q

V F V F F

por lo que, si P es verdadera y Q, la afirmación: P ∨ Q ↔ P ∧ Q es una tautología, es refutada.

36. Refutar con un contraejemplo la siguiente afirmación: si P, Q y R son tres proposiciones, entonces la
proposición
( P → Q) ↔ ( P → R)
es una tautología.

Solución. Si P es verdadero, Q es verdadero y R es falso.

(V → V ) ↔ (V → F )
(V ) ↔ ( F )
F

Por lo tanto no es una tautología.

37. Mediante el Método de Demostración Contrarecíproco probar

( p ∧ q) ∨ r =⇒ q ∨ r

38. Mediante el Método de Demostración Contrarecíproco probar

( p ∨ ¬r ) ∧ ¬ p =⇒ ¬ p ∧ ¬r

Solución. Se usara el método de contrarecíproco y para ello probaremos:

H ) ¬(¬ p ∧ ¬r )
¬(( p ∨ ¬r ) ∧ ¬ p)

1) p ∨ r DeMorgan en H )
2)( p ∨ r ) ∧ V Identidad en 1)
3)( p ∨ r ) ∧ ( p ∨ ¬ p) Complemento en 2)
4) p ∨ (r ∧ ¬ p ) Distributiva en 3)
5)¬(( p ∨ ¬r ) ∧ ¬ p) DeMorgan en 4)

14
39. Sean P, Q, R y S cuatro proposiciones. Si P → Q y R → S son proposiciones verdaderas, demostrar,
empleado el método de reducción al absurdo, que:

( P ∧ R) → ( Q ∧ S)
es una proposición verdadera.

Solución. Se usara el método de Reducción al Absurdo:

H1 ) P → Q
H2 ) R → S
( P ∧ R) → ( Q ∧ S)

1)¬(( P ∧ R) → ( Q ∧ S)) Reducción al Absurdo

2)¬(¬( P ∧ R) ∨ ( Q ∧ S) caracterización de la implicación a 1)
3)( P ∧ R) ∧ ¬( Q ∧ S) DeMorgan en 2)
4) P Simplificación de la conjunción en 3)
5) R Simplificación de la conjunción en 3)
6)¬( Q ∧ S) Simplificación de la conjunción en 3)
7) Q MP a H1 y 4)
8) S MP a H2 y 5)
9) Q ∧ S Introducción de la conjunción en 7) y 8)
10)Contradicción por 6) y 9).

40. Sean P y Q dos proposiciones. Demostrar empleado el método de reducción al absurdo que:

P → ( P ∨ Q)

es una proposición verdadera.

41. Sean p, q y r tres proposiciones. Dadas las siguientes premisas:

P1 : p ∨ q
P2 : p → r
P3 : q → r

Demostrar que se puede concluir r empleado el método de reducción al absurdo.

Solución.

Proposiciones Razones
1. ¬r 1. Negación de la hipótesis r.
2. ¬ p 2. Modus Tollendo Tollens entre P2 y 1.
3. ¬q 3. Modus Tollendo Tollens entre P3 y 1.
4. ¬ p ∧ ¬q 4. Introducción de conjunción 2. y 3.
5. ¬( p ∨ q) 5. DeMorgan 4.
6. ( p ∨ q) ∧ ¬( p ∨ q) 6. Contradicción.

15